TIGER-AI-Lab/TheoremExplainAgent: Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"
github.com · 1,489 words · saved by 1 readers
Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"
🌐 Homepage | 📖 arXiv | 🤗 HuggingFace Dataset | 🎥Video Data | ▶️ YouTube This repo contains the codebase for our paper TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding ACL 2025 main (Oral) 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 📰 News 2025 Jun 24: Paper got selected for Oral presentation (Top 3%). 2025 Jun 8: We released our generated video data…
saved by
related reading
- LLM Visualizationbbycroft.net
- Replicate - Run AI with an APIreplicate.com
- Together AI | The AI Native Cloudtogether.ai
- Parsed | Custom, interpretable AI systems that continuously learnparsed.com
- AI Model & API Providers Analysis | Artificial Analysisartificialanalysis.ai
- Home | Genmogenmo.ai
- There's An AI For That® — The front page of AItheresanaiforthat.com
- Cookbookcookbook.openai.com
- Hugging Face – The AI community building the future.huggingface.co
- Goodfire AIgoodfire.ai
- Denis Shiryaev | AI & ML Projectsshir-man.com
- GitHub - x1xhlol/system-prompts-and-models-of-ai-tools: FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI, VSCode Agent, Warp.dev, Windsurf, Xcode, Z.ai Code, Dia & v0. (And other Open Sourced) System Prompts, Internal Tools & AI Modelsgithub.com