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