30 citations · 69 across the 9 of their papers we have counts for
1 paper · 1 filter
Shijie Shang, Ruosi Wan, Yue Peng +4
We present StepFun-Prover Preview, a large language model designed for formal theorem proving through tool-integrated reasoning. Using a reinforcement learning pipeline that incorp…