Internlm2 Math Plus 1 8b

🚀 InternLM-Math-Plus

InternLM-Math-Plusは、最先端のバイリンガルなオープンソースの数学推論大規模言語モデル（LLM）です。これは、問題の解決者、証明者、検証者、データ拡張者として機能します。

💪 Github 🤖 Demo

InternLM-Math ^Plus

🚀 クイックスタート

このセクションでは、InternLM-Math-Plusの最新情報やパフォーマンス、引用情報などをご紹介します。

📢 ニュース

• [2024.05.24] 4種類のサイズ（1.8B、7B、20B、8x22B）で最新バージョンのInternLM2-Math-Plusをリリースしました。非形式的な数学推論性能（思考連鎖とコードインタープリタ）と形式的な数学推論性能（LEAN 4翻訳とLEAN 4定理証明）を大幅に向上させました。
• [2024.02.10] 技術レポートと引用参考文献を追加しました。
• [2024.01.31] 評価コード付きのMiniF2F結果を追加しました！
• [2024.01.29] ModelScopeからのチェックポイントを追加しました。多数決とコードインタープリタに関する結果を更新しました。技術レポートは近日公開予定です！
• [2024.01.26] OpenXLabからのチェックポイントを追加し、中国のユーザーがダウンロードしやすくなりました！

✨ 主な機能

InternLM-Math-Plusは、最先端のバイリンガル数学推論LLMで、以下の機能を備えています。

• 問題の解決者として、様々な数学問題を解くことができます。
• 証明者として、数学定理の証明を行うことができます。
• 検証者として、数学的な推論や証明の正しさを検証します。
• データ拡張者として、数学データの拡張を行います。

📊 パフォーマンス

形式的な数学推論

InternLM2-Math-Plusの形式的な数学推論ベンチマークMiniF2F-testでのパフォーマンスを評価しました。評価設定はLEAN 4を使用したLlemmaと同じです。

非形式的な数学推論

InternLM2-Math-Plusの非形式的な数学推論ベンチマークMATHとGSM8Kでのパフォーマンスを評価しました。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}
}

📄 ライセンス

このモデルは、otherライセンスの下で提供されています。