Home› Projects› TheoremExplainAgent
TheoremExplainAgent

TheoremExplainAgent

by TIGER-AI-Lab · GitHub

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

# llm-agents# manim# manim-animations# manim-video
View on GitHub
⭐ Stars
1.5k
🍴 Forks
198
📜 License
MIT
Commercial use OK
📅 Created
2025
🔄 Last commit
11 mo ago
🏷️ Category
llm-agents
💻 Language
Python
You maintain this project?

Claim its page: indexed whatever its rank, translated into six languages, and enriched with what you write yourself.

Claim this page →
TheoremExplainAgent — GitHub preview card
📈 Star history
1 5011 500
2026-07-202026-07-21
📄 About

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

❓ Frequently asked questions

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.

🏅 Maintainer of this project?
OpenSourceAI badge — TheoremExplainAgent

Add this live badge to your README — your GitHub stars and directory rank, refreshed daily.

[![OpenSourceAI](https://opensourceai.tech/badge.php?tool=tiger-ai-lab-theoremexplainagent)](https://opensourceai.tech/project/tiger-ai-lab-theoremexplainagent.html)
More badge options →
🧬 Related projects🧬 View the DNA map →
ai
One-stop shop for building AI-powered products and businesses with Stripe.
★ 1.7k · ai
VideoAgent
"VideoAgent: All-in-One Agentic Framework for Video Understanding, Editing, and Remaking"
★ 1.5k · agents
a-evolve
The official repository of "Position: Agentic Evolution is the Path to Evolving LLMs".
★ 699 · agents