@misc{indiciae290540d00560,
  title = {StepFun-Prover Preview: Let's Think and Verify Step by Step},
  author = {Shijie Shang and Ruosi Wan and Yue Peng and Yutong Wu and Xiong-hui Chen and Jie Yan and Xiangyu Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.20199},
  note = {Source identifier: 2507.20199}
}