Ruosi Wan

4 papers · 2020–2026 · 4 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

AAAI (1) ECCV (1) ICLR (1) NIPS (1)

Top co-authors

Jian Sun (3) Xiangyu Zhang (3) Yichen Wei (2) Lei Qi (1) Yue Peng (1) Yutong Wu (1) Qingyi Gu (1) Jie Yan (1) Zhanxing Zhu (1) Wei Zhang (1)

Keywords

reinforcement learning (1) stochastic gradient descent (1) mathematical reasoning (1) knowledge distillation (1) learning dynamics (1) weight decay (1) formal language (1) normalized neural network (1) angular update (1)

Papers

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion AAAI 2026

Spherical Motion Dynamics: Learning Dynamics of Normalized Neural Network using SGD and Weight Decay NIPS 2021

Angle-based Search Space Shrinking for Neural Architecture Search ECCV 2020

Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization ICLR 2020