TIGER-AI-Lab/TheoremExplainAgent 是一个 Python 开源项目，星火仓评分 54 分，B 级。TheoremExplainAgent自动生成定理讲解的Manim动画视频，用于评估和提升LLM对数学定理的深度理解，并暴露文本推理中隐藏的错误。
TheoremExplainAgent (TIGER-AI-Lab) 开源项目详情