Huang, Ruiyuan

3 publications

ICLR 2026 EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty Yuchen Tian, Ruiyuan Huang, Wang Xuanwu, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du

ICML 2025 High Probability Bound for Cross-Learning Contextual Bandits with Unknown Context Distributions Ruiyuan Huang, Zengfeng Huang

ICML 2023 On Coresets for Clustering in Small Dimensional Euclidean Spaces Lingxiao Huang, Ruiyuan Huang, Zengfeng Huang, Xuan Wu