TheoremExplainAgent

🌐 Homepage | 📖 arXiv

This repo contains the codebase for our paper TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding

Introduction

TheoremExplainAgent is an AI system that generates long-form Manim videos to visually explain theorems, proving its deep understanding while uncovering reasoning flaws that text alone often hides.

trailer_caption.mp4

QuickStart

Under construction

🖊️ Citation

Please kindly cite our paper if you use our code, data, models or results:

@misc{ku2025theoremexplainagentmultimodalexplanationsllm,
      title={TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding}, 
      author={Max Ku and Thomas Chong and Jonathan Leung and Krish Shah and Alvin Yu and Wenhu Chen},
      year={2025},
      eprint={2502.19400},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2502.19400}, 
}

🎫 License

This project is released under the the MIT License.

⭐ Star History

💞 Acknowledgements

We want to thank VoteeAI for sponsoring API keys to access the close-sourced models.

The code is built upon the below repositories, we thank all the contributors for open-sourcing.

• Manim Community