🧑🔬 Ruosi Wan — papers of 2025 — 2 papers, the most cited first2 papers · all years of Ruosi WanStepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citationsStepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/ruosi-wan/year/2025/