SEARCH RESULTS
“数学推理”。
全部工具找到 6 个与「数学推理」相关的工具档案，按热度排序。
Qwen2-Math
Qwen2-Math是基于通义千问Qwen2大语言模型构建的数学推理专项模型系列官网，核心定位为面向数学领域的开源大模型技术发布与应用展示平台。核心功能包括多精度数学推理计算、多步骤解题过程可视化输出、覆盖从初等数学到高等数学全学段题型支持，同时提供模型调用接口与部署文档。目标用户涵盖学生、教师、科研人员、算法工程师、教育产品开发者等群体，可应用于课后习题解答思路参考、数学教研题目设计、科研场景复
FrontierMath
FrontierMath是专注于人工智能数学推理能力评估的基准测试平台，由60余位数学家联合打造，核心用于衡量大语言模型等AI系统解决前沿复杂数学问题的能力上限。平台覆盖代数几何、数论、拓扑学、Zermelo-Fraenkel集合论等现代数学全领域问题，所有测试题均为未公开发表的原创内容，可规避训练数据泄露导致的测试结果失真问题。其目标用户包括AI研发团队、数学研究人员、高校AI相关专业师生，适用
LLaDA
LLaDA是由中国人民大学与蚂蚁集团研究团队共同开发的扩散式文本生成大模型演示平台，核心基于8B参数规模、从零训练的新型扩散语言模型，区别于传统自回归生成逻辑，可实现多场景下的自然语言生成。平台支持数学推理计算、代码编写生成、多语言翻译、多轮对话交互等核心功能，面向AI研究人员、大模型开发者、语言技术爱好者、学生群体等用户，可用于新型生成模型技术调研、文本生成任务效果测试、跨领域语言应用原型验证等
Open Thoughts
Open Thoughts是由Bespoke Labs和DataComp社区主导的开源推理数据集聚合平台，核心定位是为人工智能领域提供可公开使用的高质量推理数据集，助力小模型推理能力训练。平台具备多领域数据集分类检索、数据集质量标注说明、数据集下载权限开放、训练适配指导、社区贡献通道五大核心功能，主要面向AI研究人员、算法开发工程师、高校AI专业师生、模型训练从业者、AI领域教育工作者等群体，可应
Qwen2.5
Qwen2.5-VL-32B是阿里巴巴开源的多模态模型，参数规模为32B。模型在Qwen2.5-VL系列的基础上，基于强化学习优化，具备更符合人类偏好的回答风格、显著提升的数学推理能力，及更强的图像细粒度理解和推理能力。
Diagram
DiagramLLM 1.0 是 diagram.ai 推出的专属数学推理模型，可基于你的数据进行逻辑推演并生成图表，支持部署在你的防火墙后或自有基础设施上。
已显示全部 6 个工具