Elamur Research⌕
☰
home / authors / Ruosi Wan

Ruosi Wan

Ruosi Wan has 2 papers in our library, in 2025, most of them on Language models & pretraining, Reasoning; often with Jie Yan, Shijie Shang, Yue Peng.

2 papers in our library · 2025

OpenAlex · ORCID · Wikidata · h-index 6 · 20 works · 151 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 12 times in our library · ⭐ Paper Stars ranking: #11805

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🏢StepFun AIShanghai · China2026 · 1 papercurrent🎓Peking UniversityBeijing · China2018–2024 · 8 papers🏢BaiduBeijing · China2019–2022 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksArts and Humanities · 1 workLanguage and Linguistics · 1 work

🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 1 workReasoning · 1 work

 Works by year

2020s

20252 papers

 Papers

The most cited first (OpenAlex and our library).

  1. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion (2025 · 7 citations)
    Autoformalization means converting natural-language math problems into formal statements, here in Lean 4. Current LLM approaches are still inaccurate. General-purpose models often misuse Lean details, such as calling functions that do not exist. Specialized translators trained on narrow annotated data tend to misread…
  2. StepFun-Prover Preview: Let's Think and Verify Step by Step (2025 · 5 citations)
    LLM-based provers for Lean 4 usually need dozens of sampled attempts to find a valid proof, and extra samples bring shrinking gains.

 Co-authors here

11 co-authors with a page, the most papers together first.

 Cited by

Papers of our library cite their works 12 times (of the 149,439 papers whose bibliographies we read); 3 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/ruosi-wan/