StepFun-Prover Preview: Let's Think and Verify Step by Step. - Shijie Shang; Ruosi Wan; Yue Peng; Yutong Wu; Xiong-hui Chen; Jie Yang 002; Xiangyu Zhang 005 (CoRR, 2025)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion. - Yutong Wu; Di Huang; Ruosi Wan; Yue Peng; Shijie Shang; Chenrui Cao; Lei Qi; Rui Zhang 040; Zidong Du; Jie Yang 002; Xing Hu 001 (CoRR, 2025)