InternLM-Math-Plus

简介:

双语开源数学推理大型语言模型。

功能:

支持非正式数学推理,如思维链和代码解释。

支持正式数学推理,包括LEAN 4翻译和证明。

在多个数学推理基准测试中表现出色,如MiniF2F-test和MATH。

提供多种规模的模型,从1.8B到8x22B参数不等。

支持多种语言,特别是英文和中文。

提供技术报告和引用文献,方便学术研究和应用开发。

需求人群:

"目标受众主要是数学研究人员、教育工作者、学生以及任何需要进行数学推理和问题解决的专业人士。该产品能够帮助他们更高效地处理数学问题,提高研究和教学的质量。"

浏览量:20

s1785318098921236

打开站点

构建AI去赚钱
s1785341518918206
类似产品

© 2024     AIbase    备案号:闽ICP备08105208号-14

隐私政策

用户协议

意见反馈 网站地图