InternLM
/
internlm2-step-prover
like
0
添加到合集
文本生成
PyTorch
Transformers
英文
Other
math
arxiv:2407.17227
arxiv:2407.1722
模型介绍
文件和版本
Pull Requests
讨论
分析
下载
Notebook 快速开发
已开启
0
已关闭
0
已合并
0
全部
0
创建者
合并人
排序
暂无数据
合并请求 - internlm2-step-prover:这是一个7B语言模型，在MiniF2F、ProofNet和Putnam数学基准测试中表现卓越，具备强大的多领域数学形式化证明能力。【此简介由AI生成】 - AtomGit AI社区
