Ruiyuan Huang
School of Data Science |
|
Biography
I am a PhD student at the School of Data Science, Fudan University, advised by Prof. Zengfeng Huang.
Currently, I am an intern at Kimi AI.
I expect to graduate in December 2026 and am looking for industry positions. Please feel free to get in touch.
Research Interests
I am currently interested in AI for mathematics, particularly automated theorem proving.
Previously, I focused on theoretical machine learning, primarily online learning.
Publications
Published
Note: * for equal contribution.
- Yuchen Tian, Ruiyuan Huang*, Wang Xuanwu, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du. EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty. ICLR, 2026.
- Wenjie Yang, Ruiyuan Huang, Jiaxing Guo, Zicheng Lyu, Tongshan Xu, Shengzhong Zhang, Lun Du, Da Zheng, Zengfeng Huang. Retrieval-Augmented Language Models are Mimetic Theorem Provers. EMNLP Findings, 2025.
- Ruiyuan Huang, Zengfeng Huang. High Probability Bound for Cross-Learning Contextual Bandits with Unknown Context Distributions. ICML, 2025.
- Lingxiao Huang, Ruiyuan Huang*, Zengfeng Huang, Xuan Wu. On Coresets for Clustering in Small Dimensional Euclidean Spaces. ICML, 2023.
Preprint
- Ruiyuan Huang, Zengfeng Huang. Nearly Tight Bounds for Cross-Learning Contextual Bandits with Graphical Feedback. arXiv preprint, arXiv:2502.04678.