Alvin Yu

TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding

Understanding domain-specific theorems often requires more than just text-based reasoning; effective communication through structured visual explanations is crucial for deeper comprehension. While large language models (LLMs) demonstrate strong performance in text-based theorem reasoning, their abil…