notesum.ai

Published at October 21

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems

cs.CL
cs.AI
cs.LG

Released Date: October 21, 2024

Authors: Zijian Wu1, Suozhi Huang2, Zhejian Zhou3, Huaiyuan Ying4, Jiayu Wang1, Dahua Lin1, Kai Chen1

Aff.: 1Shanghai AI Laboratory; 2Tsinghua University; 3University of Southern California; 4The Chinese University of Hong Kong

Arxiv: https://arxiv.org/abs/2410.15700v1