mathematics
本站收录 10 个带「mathematics」标签的 AI 开源项目
Awesome-LLM-StrawberryAwesome-LLM-Strawberry 是一个聚焦于 OpenAI o1 模型及推理技术的精选资源列表，收录了相关论文、博客和项目。它旨在帮助研究者和开发★ 6,907
Data-Science-Roadmap这是一个面向数据科学学习者的从零到一路线图，覆盖数据分析、数据工程、机器学习、深度学习、大数据、数据可视化等核心领域，并提供面试准备、简历模板和速查表等实用资源★ 4,380
Qwen2.5-MathQwen2.5-Math是阿里通义千问团队推出的数学专用大语言模型系列，基于Qwen2.5底座，专注于数学推理与问题求解。它解决通用大模型在数学计算、符号推理和★ 1,084
MathVistaMathVista 是一个专注于视觉数学推理的开源项目，提供数据集、代码和评估工具，用于测试和提升 AI 模型在包含图表、几何图形、数学表达式等视觉场景下的数学★ 367
ArchonArchon 是一个面向 Lean 4 形式化验证项目的 AI 辅助自动化框架。它解决的核心问题是：在 Lean 项目中，AI 生成的证明往往需要大量人工干预和★ 221
ai-rtl-resolverai-rtl-resolver 是一个专为 AI 聊天机器人设计的 RTL（从右到左）文本解析与修复工具。它解决了主流 AI 对话界面在阿拉伯语、波斯语等从右向★ 118
generativepygenerativepy 是一个用于创建生成艺术和数学动画的 Python 库。它解决了艺术家、数学家和教育者需要以编程方式生成可视化内容但不想深入底层图形 A★ 110
AutoMathTextAutoMathText 是一个面向数学文本的自主数据选择工具，基于 ACL 2025 论文实现。它利用零样本生成式分类器，自动从海量文本中筛选出高质量数学语料★ 92
ai-ml-roadmap这是一个面向2025年AI和机器学习初学者的学习路线图项目，旨在提供从基础到进阶的系统化学习路径。它解决了初学者面对海量AI/ML资源时不知从何入手、学习路径不★ 90
MOTO-Autonomous-ASIMOTO 是一个面向科学领域的自动化定理生成器，本质上是一个追求新颖性的自主研究智能体。它基于 Lean 4 形式化证明系统，能够自动生成数学定理及其证明，无需★ 85