Ruosi Wan
Scholar

Ruosi Wan

Google Scholar ID: TSlNpN4AAAAJ
Stepfun
deep learningoptimizationLarge Language Model
Google Scholar↗
Citations & Impact
All-time
Citations
269
 
H-index
6
 
i10-index
6
 
Publications
11
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
2 items
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
2025
Cited
0
StepFun-Prover Preview: Let's Think and Verify Step by Step
2025
Cited
0
Resume (English only)
Co-authors
8 total
Jian Sun
Jian Sun
Chief Scientist of Megvii, Managing Director of Megvii Research
Zhanxing Zhu
Zhanxing Zhu
Associate Professor, ECS, University of Southampton
Xiangyu Zhang
Xiangyu Zhang
Co-founder & Chief Scientist of StepFun
Yichen Wei
Yichen Wei
SHUKUN Technology
Haoyi Xiong
Haoyi Xiong
Microsoft
Co-author 6
Co-author 6
Mingjun Zhong
Mingjun Zhong
Department of Computing Science, University of Aberdeen, UK
Co-author 8
Co-author 8