当前位置： 首页 > news >正文

数学大模型MAmmoTH：通过混合说明调整建立数学通才模型

news 2025/12/16 23:34:48

在这里插入图片描述

向悦和陈文虎是该项目的主要作者。他们这个项目推出 MAmmoTH，这是一系列专为解决一般数学问题而定制的开源大型语言模型 (LLM)。 MAmmoTH 模型在 MathInstruct 上进行训练，MathInstruct 是我们精心策划的指令调整数据集。 MathInstruct 已编译 来自 13 个具有中间原理的数学数据集，其中 6 个具有我们新整理的原理。它拥有思想链（CoT）和思想计划（PoT）基本原理的混合，并且还确保广泛的 涵盖数学的不同领域。 CoT 和 PoT 的混合不仅可以释放工具使用的潜力，还可以针对不同的数学问题提供不同的思维过程。因此，MAmmoTH 系列实质上 在所有规模的 9 个数学推理数据集上，其性能优于现有开源模型，平均准确度增益在 12% 到 29% 之间。值得注意的是，我们的 MAmmoTH-7B 模型在 MATH（竞赛级别）上达到了 35% 数据集），超过最好的开源7B模型（WizardMath）25%，MAmmoTH-34B模型在MATH上达到46%的准确率，甚至超过了GPT-4的CoT结果。我们的工作强调了多样化问题的重要性 覆盖范围以及在开发高级数学通才模型时使用混合原理。

项目地址：https://tiger-ai-lab.github.io/MAmmoTH/
在这里插入图片描述
在这里插入图片描述

参考资料

https://www.aibase.com/zh/tool/34999

相关文章：

数学大模型MAmmoTH：通过混合说明调整建立数学通才模型

向悦和陈文虎是该项目的主要作者。他们这个项目推出 MAmmoTH，这是一系列专为解决一般数学问题而定制的开源大型语言模型 (LLM)。 MAmmoTH 模型在 MathInstruct 上进行训练，MathInstruct 是我们精心策划的指令调整数据集。 MathInstruct 已编译 来自 13 个…...

编程日记 2025/1/25 16:08:58

Opencv学习

Long time no see!哈哈，假期终于有时间做一点自己喜欢的东西了 还是想说，每天花一点时间投在自己喜欢的事情上，或者专攻一些平时不学的方向，真的很酷！ 图片绘制 对于图像绘制，可以分为：图像创…...

编程日记 2025/1/25 16:07:57

python生成图片和pdf，快速

1、下载安装 pip install imgkit pip install pdfkit2、wkhtmltopdf工具包，下载安装 下载地址：https://wkhtmltopdf.org/downloads.html 3、生成图片 import imgkit path_wkimg rD:\app\wkhtmltopdf\bin\wkhtmltoimage.exe # 工具路径，安…...

编程日记 2025/1/25 16:01:51

剑指Offer|LCR 044.在每个树行中找最大值

LCR 044.在每个树行中找最大值 给定一棵二叉树的根节点 root ，请找出该二叉树中每一层的最大值。 示例 1： 输入: root [1,3,2,5,3,null,9] 输出: [1,3,9] 解释:1/ \3 2/ \ \ 5 3 9 示例 2： 输入: root [1,2,3] 输出: [1,3] 解…...

编程日记 2025/1/25 15:53:43

PWM信号概述

什么是PWM信号？ PWM（Pulse-width modulation）是脉冲宽度调制的缩写。 脉冲宽度调制是一种模拟信号电平数字编码方法。 脉冲宽度调制PWM是通过将有效的电信号分散成离散形式从而来降低电信号所传递的平均功率的一种方式。所以根据面积等效法…...

编程日记 2025/1/25 15:52:41

关于BAR（PCIE BAR或AXI BAR）的解释

假设某BAR的默认值是xxxx_0000（这里表示8个比特位），其中低4位不可写，可操作的最低位是4，所以该BAR的大小是2^416字节； 1、系统软件向BAR写0xFF 2、系统软件读BAR，读到的值是0xF0，于是…...

编程日记 2025/1/25 15:51:35

计算机的错误计算（二百二十一）

摘要 利用一个数学解题器化简计算 实验表明，即使是数学解题器，也是一派胡言。 有一读者来信，询问数学大模型的推理事宜。现就前面的案例继续做一讨论。 例1. 化简计算摘要中算式。 下面是与一个数学解题器的对话。 点评： &am…...

编程日记 2025/1/25 15:42:18

【力扣Hot 100】矩阵1

矩阵置零：1. 开两个数组判断该行/该列是否有0；2. 用第0行/第0列分别判断该列/该行是否有0 螺旋矩阵：记录方向，一直按某方向前进，遇到障碍方向就变一下 1. 矩阵置零 给定一个 *m* x *n* 的矩阵，如果一个元…...

编程日记 2025/1/25 15:38:13

移动端VR处理器和传统显卡的不同

骁龙 XR 系列芯片 更多地依赖 AI 技术 来优化渲染过程，而传统的 GPU 渲染 则倾向于在低画质下运行以减少负载。这种设计是为了在有限的硬件资源下（如移动端 XR 设备）实现高性能和低功耗的平衡。以下是具体的分析： 1. AI 驱动的渲染…...

编程日记 2025/1/25 15:34:07

「 机器人 」利用数据驱动模型替代仿真器：加速策略训练并降低硬件依赖

前言 在强化学习（Reinforcement Learning, RL）中，策略训练需要大量的交互数据（状态、动作、奖励、下一状态），而这些数据通常来自仿真器或真实硬件。传统高保真仿真器虽然能在一定程度上模拟飞行器的动力学，但往往计算量大、开发成本高，且仍可能与真实环境存在差距。为此…...

编程日记 2025/1/25 15:32:01

MATLAB 如何避免复杂shp文件对inpolygon的影响

**任务描述：**当我想用inpolygon函数将属于非洲的pixel选出来时，发现因为周边小岛的影响，pixel选取有问题，如下图。 第一种解决办法： 首先将复杂shp文件查分成简单的shp文件，即将不相交的元素分离开 [QGIS…...

编程日记 2025/1/25 15:29:58

【2024年华为OD机试】 (C卷,200分)- 贪吃的猴子（JavaScriptJava PythonC/C++）

一、问题描述 题目解析 问题描述 一只猴子来到果园，发现许多串香蕉排成一行，每串香蕉上有若干根香蕉。每串香蕉的根数由数组 numbers 给出。猴子每次只能从行的开头或末尾获取香蕉，并且只能获取 N 次。求猴子最多能获取多少根香蕉。 输入…...

编程日记 2025/1/25 15:27:55

PostgreSQL中级专家是什么意思？

数据库技术领域，PostgreSQL 作为一种广泛使用的开源关系型数据库管理系统，吸引了众多技术人员深入学习和研究。“PostgreSQL 中级专家” 是对掌握该数据库特定技能层次的一种描述。 知识储备 中级专家深入理解 PostgreSQL 的体系结构，包括进程…...

编程日记 2025/1/25 15:26:54

从根源分析，调试，定位和解决MacOS ld: unsupported tapi file type ‘!tapi-tbd‘ in YAML file

你要是遇到同样错误，找一圈都没有解决，建议认真读一下本文，这个应该是最终极的解决办法，从原理上剖析了产生的原因，同时给出来了调试和定位的办法。 maccos使用brew安装了一个gcc14, 结果编译一个最简单的程序都报错&a…...

编程日记 2025/1/25 15:18:44

【Uniapp-Vue3】previewImage图片预览

如果我们想要实现点击一张图片放大，并能够左右滑动，就要使用previewImage这个API。 uni.previewImage({ current:xxx, // 当前图片下标 urls:xxx, // 图片路径组 // 其他参数 }) 我们先编写一个点击图片的事件，并传递当前点击图片的下标&…...

编程日记 2025/1/25 15:17:28

doris：Insert Into Values

INSERT INTO VALUES 语句支持将 SQL 中的值导入到 Doris 的表中。INSERT INTO VALUES 是一个同步导入方式，执行导入后返回导入结果。可以通过请求的返回判断导入是否成功。INSERT INTO VALUES 可以保证导入任务的原子性，要么全部导入成功，要么…...

编程日记 2025/1/25 15:09:02

15 分布式锁和分布式session

在java中一个进程里面使用synchronized在new出来对象头信息中加锁，如果是静态方法中在加载的类信息中加锁(我们在锁的原理中讲过)。如果使用lock加锁可以自己指定。这些都是在同一个进程空间中的操作。如果在分布式环境中由于程序不在一个进程空间，就没办…...

编程日记 2025/1/25 15:04:57

迅为RK3568开发板篇OpenHarmony实操HDF驱动控制LED-添加内核编译

编译内核时将该 HDF 驱动编译到镜像中，接下来编写驱动编译脚本 Makefile，代码如下所示： 加入编译体系，填加模块目录到 drivers/hdf_core/adapter/khdf/linux/Makefile 文件 更多内容可以关注：迅为RK3568开发板篇OpenHa…...

编程日记 2025/1/25 15:01:48

C语言练习（23）

求两个整数的最大公约数和最小公倍数，用一个函数求最大公约数，用另一函数根据求出的最大公约数求最小公倍数。 ①不用全局变量，分别用两个函数求最大公约数和最小公倍数。两个整数在主函数中输入，并传送给函数f1，求出…...

编程日记 2025/1/25 14:56:41

LabVIEW 太阳能光伏发电系统智能监控

本文介绍了基于 LabVIEW 的太阳能光伏发电监控系统的设计与实现，着重探讨了其硬件配置、软件架构以及系统的实现方法。该系统能够有效提高太阳能光伏发电的监控效率和精确性，实现了远程监控和数据管理的智能化。 ​ 项目背景 在当前能源紧张与环境污染…...

编程日记 2025/1/25 14:54:40

Java 语言特性(面试系列2)

一、SQL 基础 1. 复杂查询 （1）连接查询（JOIN） 内连接（INNER JOIN）：返回两表匹配的记录。 SELECT e.name, d.dept_name FROM employees e INNER JOIN departments d ON e.dept_id d.dept_id; 左…...

编程新知 2025/10/24 14:20:29

Linux链表操作全解析

Linux C语言链表深度解析与实战技巧 一、链表基础概念与内核链表优势1.1 为什么使用链表？1.2 Linux 内核链表与用户态链表的区别 二、内核链表结构与宏解析常用宏/函数 三、内核链表的优点四、用户态链表示例五、双向循环链表在内核中的实现优势5.1 插入效率5.2 安全…...

编程新知 2025/12/3 20:14:32

基于ASP.NET+ SQL Server实现（Web）医院信息管理系统

医院信息管理系统 1. 课程设计内容 在 visual studio 2017 平台上，开发一个“医院信息管理系统”Web 程序。 2. 课程设计目的 综合运用 c#.net 知识，在 vs 2017 平台上，进行 ASP.NET 应用程序和简易网站的开发；初步熟悉开发一…...

编程新知 2025/12/14 0:24:50

全球首个30米分辨率湿地数据集(2000—2022)

数据简介 今天我们分享的数据是全球30米分辨率湿地数据集，包含8种湿地亚类，该数据以0.5X0.5的瓦片存储，我们整理了所有属于中国的瓦片名称与其对应省份，方便大家研究使用。 该数据集作为全球首个30米分辨率、覆盖2000–2022年时间…...

编程新知 2025/12/9 1:32:01

Vue2 第一节_Vue2上手_插值表达式{{}}_访问数据和修改数据_Vue开发者工具

文章目录 1.Vue2上手-如何创建一个Vue实例,进行初始化渲染2. 插值表达式{{}}3. 访问数据和修改数据4. vue响应式5. Vue开发者工具--方便调试 1.Vue2上手-如何创建一个Vue实例,进行初始化渲染 准备容器引包创建Vue实例 new Vue()指定配置项 ->渲染数据 准备一个容器,例如: …...

编程新知 2025/12/15 20:41:51

实现弹窗随键盘上移居中

实现弹窗随键盘上移的核心思路 在Android中&#xff0c;可以通过监听键盘的显示和隐藏事件&#xff0c;动态调整弹窗的位置。关键点在于获取键盘高度&#xff0c;并计算剩余屏幕空间以重新定位弹窗。 // 在Activity或Fragment中设置键盘监听 val rootView findViewById<V…...

编程新知 2025/10/6 18:46:56

tree 树组件大数据卡顿问题优化

问题背景 项目中有用到树组件用来做文件目录&#xff0c;但是由于这个树组件的节点越来越多&#xff0c;导致页面在滚动这个树组件的时候浏览器就很容易卡死。这种问题基本上都是因为dom节点太多&#xff0c;导致的浏览器卡顿&#xff0c;这里很明显就需要用到虚拟列表的技术&…...

编程新知 2025/12/11 3:28:30

AI书签管理工具开发全记录（十九）：嵌入资源处理

1.前言 &#x1f4dd; 在上一篇文章中&#xff0c;我们完成了书签的导入导出功能。本篇文章我们研究如何处理嵌入资源&#xff0c;方便后续将资源打包到一个可执行文件中。 2.embed介绍 &#x1f3af; Go 1.16 引入了革命性的 embed 包&#xff0c;彻底改变了静态资源管理的…...

编程新知 2025/12/16 16:43:10

中医有效性探讨

文章目录 西医是如何发展到以生物化学为药理基础的现代医学&#xff1f;传统医学奠基期&#xff08;远古 - 17 世纪&#xff09;近代医学转型期&#xff08;17 世纪 - 19 世纪末&#xff09;​现代医学成熟期&#xff08;20世纪至今&#xff09; 中医的源远流长和一脉相承远古至…...

编程新知 2025/12/12 13:14:21

NXP S32K146 T-Box 携手 SD NAND（贴片式TF卡）：驱动汽车智能革新的黄金组合

在汽车智能化的汹涌浪潮中&#xff0c;车辆不再仅仅是传统的交通工具&#xff0c;而是逐步演变为高度智能的移动终端。这一转变的核心支撑&#xff0c;来自于车内关键技术的深度融合与协同创新。车载远程信息处理盒&#xff08;T-Box&#xff09;方案&#xff1a;NXP S32K146 与…...

编程新知 2025/12/15 13:11:03