StepFun-Prover Preview: Let's Think and Verify Step by Step
Research paper by Shijie Shang and collaborators. arXiv record dated 2025-08-13. Research area: Artificial intelligence.
Resource information
- Authors
- Shijie Shang, Ruosi Wan, Yue Peng, Yutong Wu, Xiong-hui Chen, Jie Yan, Xiangyu Zhang
- Research area
- Artificial intelligence
- Application domain
- General AI research
- AI methods
- Large language models, Reinforcement learning
- Research topics
- cs.AI
- arXiv record date
- 2025-08-13
- Publication
- arXiv
- Upstream last modified
- Aug 14, 2025
- Last record update
- Nov 3, 2026
Abstract
We present StepFun-Prover Preview, a large language model designed for formal theorem proving through tool-integrated reasoning. Using a reinforcement learning pipeline that incorporates tool-based interactions, StepFun-Prover can achieve strong performance in generating Lean 4 proofs with minimal sampling. Our approach enables the model to emulate human-like problem-solving strategies by iteratively refining proofs based on real-time environment feedback. On the miniF2F-test benchmark, StepFun-Prover achieves a pass@1 success rate of $70.0%$. Beyond advancing benchmark performance, we introduce an end-to-end training framework for developing tool-integrated reasoning models, offering a promising direction for automated theorem proving and Math AI assistant.