conftrace_

Ruosi Wan

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

Achievements

Jump to papers ↓

🌍 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