TY  - RPRT
TI  - InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
AU  - Zijian Wu
AU  - Suozhi Huang
AU  - Zhejian Zhou
AU  - Huaiyuan Ying
AU  - Zheng Yuan
AU  - Wenwei Zhang
AU  - Dahua Lin
AU  - Kai Chen
PY  - 2025
UR  - https://arxiv.org/abs/2410.15700
ID  - 2410.15700
ER  -