TIGER-AI-Lab/TheoremExplainAgent

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1499 stars · 200 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

An agentic AI system that generates long-form (5+ minute) Manim animation videos explaining mathematical and STEM theorems using LLM agents with RAG-based planning. It accompanies the ACL 2025 paper and includes TheoremExplainBench, a 240-theorem benchmark with automated evaluation metrics.

Use cases

• generate animated videos explaining math theorems
• evaluate how well LLMs understand theorems
• benchmark multimodal reasoning of language models
• create manim animations automatically with an LLM agent
• research multimodal explanations that reveal reasoning flaws
• get baseline theorem explanation videos for research

When to choose

• you need automated visual explanations of STEM theorems
• you are researching multimodal LLM reasoning and evaluation
• you want to generate long-form educational Manim videos programmatically

When to avoid

• you need a polished end-user video creation tool rather than research code
• you want short, quick animations without agentic planning overhead
• you lack access to capable LLM APIs like o3-mini

Facets

application · maturity active

agent-framework rag llm-inference video-processing machine-learning prompt-engineering artificial-intelligence large-language-models education python manim theorem-explanation multimodal benchmark stem-education research-paper video-generation ai-agents natural-language-processing linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="TIGER-AI-Lab/TheoremExplainAgent")