🚀 InternLM-Math-Plus

InternLM-Math-Plus 是最先进的双语开源数学推理大语言模型，具备求解、证明、验证和增强等功能，为数学推理领域提供强大支持。

🚀 快速开始

你可以通过以下链接访问项目相关内容：

• 💪 Github
• 🤝 Demo

✨ 主要特性

最新动态

• [2024.05.24] 发布更新版本 InternLM2-Math-Plus，包含 1.8B、7B、20B 和 8x22B 四种规模，在非形式化数学推理（思维链和代码解释器）和形式化数学推理（LEAN 4 翻译和 LEAN 4 定理证明）方面性能显著提升。
• [2024.02.10] 添加技术报告和引用参考。
• [2024.01.31] 添加 MiniF2F 结果及评估代码。
• [2024.01.29] 添加来自 ModelScope 的检查点，更新多数投票和代码解释器的结果，技术报告即将发布。
• [2024.01.26] 添加来自 OpenXLab 的检查点，方便中国用户下载。

性能表现

形式化数学推理

在形式化数学推理基准测试 MiniF2F-test 上评估 InternLM2-Math-Plus 的性能，评估设置与使用 LEAN 4 的 Llemma 相同。

非形式化数学推理

在非形式化数学推理基准测试 MATH 和 GSM8K 上评估 InternLM2-Math-Plus 的性能。InternLM2-Math-Plus-1.8B 在最小规模设置下优于 MiniCPM-2B。InternLM2-Math-Plus-7B 优于当前最先进的数学推理开源模型 Deepseek-Math-7B-RL。InternLM2-Math-Plus-Mixtral8x22B 在 MATH（使用 Python）上得分为 68.5，在 GSM8K 上得分为 91.8。

此外，还在 MathBench-A 上对模型进行了评估。InternLM2-Math-Plus-Mixtral8x22B 的性能与 Claude 3 Opus 相当。

📄 许可证

本项目使用其他许可证。

📚 引用与技术报告

@misc{ying2024internlmmath,
      title={InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning}, 
      author={Huaiyuan Ying and Shuo Zhang and Linyang Li and Zhejian Zhou and Yunfan Shao and Zhaoye Fei and Yichuan Ma and Jiawei Hong and Kuikun Liu and Ziyi Wang and Yudong Wang and Zijian Wu and Shuaibin Li and Fengzhe Zhou and Hongwei Liu and Songyang Zhang and Wenwei Zhang and Hang Yan and Xipeng Qiu and Jiayu Wang and Kai Chen and Dahua Lin},
      year={2024},
      eprint={2402.06332},
      archivePrefix={arXiv},
      primaryClass={cs.CL}
}