TY  - RPRT
TI  - StepFun-Prover Preview: Let's Think and Verify Step by Step
AU  - Shijie Shang
AU  - Ruosi Wan
AU  - Yue Peng
AU  - Yutong Wu
AU  - Xiong-hui Chen
AU  - Jie Yan
AU  - Xiangyu Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2507.20199
ID  - 2507.20199
ER  -