GH Repository · TIGER-AI-Lab
TheoremExplainAgent
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
- stars
- 1,501
- 30-day movement
- +21/day
- Related entries
- 60
- Connections
- 1
pythonragmanim-videoPythonmanim-animationsmanimllm-agents
TheoremExplainAgent is the official repository for an ACL 2025 oral paper on generating video-based multimodal explanations of theorems using LLM agents. Based on its topics, it combines LLM agents with RAG and Manim to produce animated theorem explanation videos.
Use it when you want LLM-driven agents that turn theorem understanding into Manim-rendered video explanations.
Use it to
- Generate animated Manim videos explaining theorems
- Reproduce the ACL 2025 paper's experiments
- Study agent + RAG pipelines for multimodal output
- Extend the agent for custom explanation workflows
For Researchers and developers in LLM agents and educational content
- Role
- rag
- Language
- Python
- Licence
- MIT
- Forks
- 200
- Open issues
- 9
- Last push
- 2025-07-27
topicsllm-agentsragmanimvideo-generationtheorem-explanationresearch