數學推理

InternLM-Math-Plus:雙語開源數學推理大型語言模型

InternLM-Math-Plus 是一個最新的雙語(英文和中文)開源大型語言模型(LLM),專注於數學推理,具有解決、證明、驗證和增強數學問題的能力。它在非正式數學推理(如思維鏈和程式碼解釋)和正式數學推理(如LEAN 4翻譯和證明)方面都有顯著的效能提升。

返回頂端