Ruosi Wan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | 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 |
| 2020 | ECCV | 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 |
| 2020 | ICLR | Towards Stabilizing Batch Statistics in Backward Propagation of Batch Normalization. | Junjie Yan, Ruosi Wan, Xiangyu Zhang, Wei Zhang, Yichen Wei, Jian Sun |
| 2019 | ICDM | Towards Making Deep Transfer Learning Never Hurt. | Ruosi Wan, Haoyi Xiong, Xingjian Li, Zhanxing Zhu, Jun Huan |