Ruosi Wan

According to our database, Ruosi Wan authored at least 11 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Yutong Wu, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, Rui Zhang, Xishan Zhang, Zidong Du, Jie Yang, Xing Hu

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion.

Yutong Wu, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, Rui Zhang, Zidong Du, Jie Yang, Xing Hu

CoRR, August, 2025

StepFun-Prover Preview: Let's Think and Verify Step by Step.

Shijie Shang, Ruosi Wan, Yue Peng, Yutong Wu, Xiong-hui Chen, Jie Yang, Xiangyu Zhang

CoRR, July, 2025

2022

GrOD: Deep Learning with Gradients Orthogonal Decomposition for Knowledge Transfer, Distillation, and Adversarial Training.

Haoyi Xiong, Ruosi Wan, Jian Zhao, Zeyu Chen, Xingjian Li, Zhanxing Zhu, Jun Huan

ACM Trans. Knowl. Discov. Data, 2022

2021

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

Ruosi Wan, Zhanxing Zhu, Xiangyu Zhang, Jian Sun

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Spherical Motion Dynamics of Deep Neural Networks with Batch Normalization and Weight Decay.

Ruosi Wan, Zhanxing Zhu, Xiangyu Zhang, Jian Sun

CoRR, 2020

Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization.

Junjie Yan, Ruosi Wan, Xiangyu Zhang, Wei Zhang, Yichen Wei, Jian Sun

Proceedings of the 8th International Conference on Learning Representations, 2020

Angle-Based Search Space Shrinking for Neural Architecture Search.

Yiming Hu, Yuding Liang, Zichao Guo, Ruosi Wan, Xiangyu Zhang, Yichen Wei, Qingyi Gu, Jian Sun

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Neural Control Variates for Monte Carlo Variance Reduction.

Ruosi Wan, Mingjun Zhong, Haoyi Xiong, Zhanxing Zhu

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

Towards Making Deep Transfer Learning Never Hurt.

Ruosi Wan, Haoyi Xiong, Xingjian Li, Zhanxing Zhu, Jun Huan

Proceedings of the 2019 IEEE International Conference on Data Mining, 2019

2018

Neural Control Variates for Variance Reduction.

Zhanxing Zhu, Ruosi Wan, Mingjun Zhong

CoRR, 2018