MathΣtral: 一个由 Mistral AI 设计的,用于数学推理和科学发现的 7B 模型。

7b

32.7K 7 个月前

Readme

Mistral AI 将 Mathstral 贡献给科学界,以支持需要复杂、多步骤逻辑推理的高级数学问题的研究。Mathstral 的发布是他们支持学术项目的更广泛努力的一部分——它是在 Mistral AI 与 Project Numina 合作的背景下产生的。

与艾萨克·牛顿同时代的人一样,Mathstral 站在 Mistral 7B 的肩膀上,专门研究 STEM 学科。它在其规模类别中,在各种行业标准基准测试中实现了最先进的推理能力。

mathstral-breakdown.png

基准测试

Mathstral 可以通过更多的推理时间计算获得明显更好的结果:Mathstral 7B 在 MATH 上以多数投票获得 68.37% 的分数,在 64 个候选者中使用强大的奖励模型获得 74.59% 的分数。

mathstral-benchmarks.png

参考文献

博客文章

Hugging Face