math
本站收录 12 个带「math」标签的 AI 开源项目
ai-hands-on这是一个面向AI初学者的实践学习仓库，包含一系列Jupyter Notebook和辅助文件，旨在帮助用户从零开始学习人工智能。项目覆盖了机器学习、神经网络、Tr★ 1,449
Search-o1Search-o1 是一个为大型推理模型（如 o1）增强智能搜索能力的开源框架，旨在解决推理模型在复杂任务中因知识不足或记忆错误而产生的幻觉问题。它通过智能体式★ 1,249
TexoTexo 是一个超轻量的 LaTeX 公式识别模型，参数量仅 20M，却能达到 SOTA 级别的识别精度。它主要解决数学公式 OCR 场景中模型过大、难以在浏览★ 903
rabbit-earrabbit-ear 是一个用 JavaScript 编写的计算折纸库，专注于折纸设计与几何算法。它解决了传统折纸设计中手工计算复杂、难以精确模拟折叠过程的问题★ 649
ManimCatManimCat 是一个基于 AI 的数学动画生成工具，用户只需用自然语言描述想要的数学场景，即可自动生成高质量的 Manim 动画视频。它解决了传统 Mani★ 464
MathPileMathPile 是一个面向数学领域的大规模高质量预训练语料库，由 CAMEL-AI 团队构建，相关论文发表于 NeurIPS 2024 Datasets & ★ 418
cumulative-reasoningCumulative Reasoning是一个基于大语言模型的推理框架，源自TMLR论文，旨在通过累积式推理解决复杂问题。它模拟人类逐步思考的过程，将问题分解为★ 308
universal-diagnostic-tutor-skill以诊断为先的 AI 辅导技能，专为 STEM、AI 与计算机科学学习设计：先精准定位知识盲区，再讲解概念、检验理解、巩固掌握，形成完整的诊断-教学-反馈闭环，让★ 232
diagram-of-thoughtDiagram of Thought 是论文《On the Diagram of Thought》的官方实现，提出了一种新颖的推理框架，将大语言模型的思维链建模★ 201
MathCyclus---Lingxi-Question-Bank-AssistantMathCyclus 是一个面向高中数学教师的开源题库管理与智能组卷系统，基于 Python 与 Streamlit 构建。它解决的核心问题是教师日常整理试题、★ 138
feifei-companion飞飞学伴是一款面向K12阶段学生的AI智能教育陪伴系统，旨在通过三位一体的模式（即学习、陪伴、激励）解决学生自主学习动力不足、家长辅导压力大等问题。它集成了智能★ 105
GASGAS（Generative Art Synthesizer）是一个用 Python 编写的生成艺术合成器，它的核心思路是“生成生成艺术的 Python 程序”★ 61