Ruosi Wan

14 papers A* 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion.
AAAI
Yutong Wu, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, Rui Zhang, Xishan Zhang, Zidong Du, Jie Yang, Xing Hu
2025 J jnl
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion.
CoRR
Yutong Wu, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, Rui Zhang, Zidong Du, Jie Yang, Xing Hu
2025 J jnl
StepFun-Prover Preview: Let's Think and Verify Step by Step.
CoRR
Shijie Shang, Ruosi Wan, Yue Peng, Yutong Wu, Xiong-Hui Chen, Jie Yang, Xiangyu Zhang
2022 J jnl
GrOD: Deep Learning with Gradients Orthogonal Decomposition for Knowledge Transfer, Distillation, and Adversarial Training.
ACM Trans. Knowl. Discov. Data
Haoyi Xiong, Ruosi Wan, Jian Zhao, Zeyu Chen, Xingjian Li, Zhanxing Zhu, Jun Huan
2021 A* conf
Spherical Motion Dynamics: Learning Dynamics of Normalized Neural Network using SGD and Weight Decay.
NeurIPS
Ruosi Wan, Zhanxing Zhu, Xiangyu Zhang, Jian Sun
2020 — conf
Angle-Based Search Space Shrinking for Neural Architecture Search.
ECCV (19)
Yiming Hu, Yuding Liang, Zichao Guo, Ruosi Wan, Xiangyu Zhang, Yichen Wei, Qingyi Gu, Jian Sun
2020 J jnl
Angle-based Search Space Shrinking for Neural Architecture Search.
CoRR
Yiming Hu, Yuding Liang, Zichao Guo, Ruosi Wan, Xiangyu Zhang, Yichen Wei, Qingyi Gu, Jian Sun
2020 J jnl
Spherical Motion Dynamics of Deep Neural Networks with Batch Normalization and Weight Decay.
CoRR
Ruosi Wan, Zhanxing Zhu, Xiangyu Zhang, Jian Sun
2020 A* conf
Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization.
ICLR
Junjie Yan, Ruosi Wan, Xiangyu Zhang, Wei Zhang, Yichen Wei, Jian Sun
2020 J jnl
Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization.
CoRR
Junjie Yan, Ruosi Wan, Xiangyu Zhang, Wei Zhang, Yichen Wei, Jian Sun
2019 — conf
Neural Control Variates for Monte Carlo Variance Reduction.
ECML/PKDD (2)
Ruosi Wan, Mingjun Zhong, Haoyi Xiong, Zhanxing Zhu
2019 A* conf
Towards Making Deep Transfer Learning Never Hurt.
ICDM
Ruosi Wan, Haoyi Xiong, Xingjian Li, Zhanxing Zhu, Jun Huan
2019 J jnl
Towards Making Deep Transfer Learning Never Hurt.
CoRR
Ruosi Wan, Haoyi Xiong, Xingjian Li, Zhanxing Zhu, Jun Huan
2018 J jnl
Neural Control Variates for Variance Reduction.
CoRR
Zhanxing Zhu, Ruosi Wan, Mingjun Zhong