{"adoption": {"forks": 200, "observed_at": "2026-08-28T04:04:54.146582+00:00", "stars": 1499}, "canonical_url": "https://ross.abutalabs.com/products/theoremexplainagent", "card": {"archived": false, "artifact_type": "application", "description": "Official Repo for \"TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding\" [ACL 2025 oral]", "domain": ["artificial-intelligence", "large-language-models", "education"], "enriched": true, "function": ["agent-framework", "rag", "llm-inference", "video-processing", "machine-learning", "prompt-engineering"], "health_score": 40, "homepage": "https://tiger-ai-lab.github.io/TheoremExplainAgent/", "language": "Python", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["TIGER-AI-Lab/TheoremExplainAgent"], "name": "TIGER-AI-Lab/TheoremExplainAgent", "platform": ["python"], "pushed_at": "2025-07-27T02:56:48+00:00", "repo": "TIGER-AI-Lab/TheoremExplainAgent", "stars": 1499, "tags": ["manim", "theorem-explanation", "multimodal", "benchmark", "stem-education", "research-paper", "video-generation", "ai-agents", "natural-language-processing", "linux", "macos"], "topics": ["llm-agents", "manim", "manim-animations", "manim-video", "rag"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/theoremexplainagent", "repo": "TIGER-AI-Lab/TheoremExplainAgent", "role": "main", "score": 35}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.146582+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:33:01.866612+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8c76b3c29e1ecfc3871e91cb16aeaa1f167a957607fcea6062ef380f081d6a3e", "fetched_at": "2026-08-28T04:04:54.146582+00:00", "kind": "readme", "missing": false, "url": "https://github.com/TIGER-AI-Lab/TheoremExplainAgent"}, {"content_hash": "8a39e47d08172faaa21b7e4055d5732dc2154f10d5363a821a073e0fa4d94b2b", "fetched_at": "2026-08-29T11:38:07.583771+00:00", "kind": "homepage", "missing": false, "url": "https://tiger-ai-lab.github.io/TheoremExplainAgent/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 33, "longevity": 40, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 563, "days_push": 402, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 35, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}