Ruosi Wan
4 papers · 2020–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
Venues
Top co-authors
Research topics
Keywords
reinforcement learning
(1)
stochastic gradient descent
(1)
mathematical reasoning
(1)
knowledge distillation
(1)
batch normalization
(1)
learning dynamics
(1)
weight decay
(1)
formal language
(1)
backward propagation
(1)
moving average
(1)
batch statistic
(1)
normalized neural network
(1)
angular update
(1)
small batch
(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
NeurIPS 2021
Angle-based Search Space Shrinking for Neural Architecture Search
ECCV 2020
Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization
ICLR 2020