Cite
Notes
Only stored in your browser.
Attribution
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems
arXiv 2024
from 1 papers
Dahua Lin
Huaiyuan Ying
Jiayu Wang
Kai Chen
Zhejian Zhou
Zijian Wu