TheoremExplainAgent
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
Create videos that visually explain mathematical theorems, revealing insights that text alone might miss.
Claim its page: indexed whatever its rank, translated into six languages, and enriched with what you write yourself.
Get an email alert on its next release or when it starts trending — never miss the moment.
Free · no card · unsubscribe anytimeOfficial Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
TheoremExplainAgent has 1.5k stars on GitHub. It has been forked 198 times. TheoremExplainAgent is written mainly in Python. It has been in active development since 2025. TheoremExplainAgent is available under the MIT license. Its main topics are llm-agents, manim, manim-animations, manim-video.
What is TheoremExplainAgent?
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
Is TheoremExplainAgent open source?
TheoremExplainAgent is an open-source project. It is released under the MIT license.
Is TheoremExplainAgent free?
Yes. TheoremExplainAgent is free and open source — you can use, modify and self-host it.
What license does TheoremExplainAgent use?
TheoremExplainAgent is available under the MIT license.
What language is TheoremExplainAgent written in?
TheoremExplainAgent is written mainly in Python.
Add this live badge to your README — your GitHub stars and directory rank, refreshed daily.
[](https://olud.ai/project/tiger-ai-lab-theoremexplainagent.html)
Measured from GitHub topics shared by both projects, weighted by how rare each topic is.