CV

You can view my full CV for more details.

Education

The Chinese University of Hong Kong, Shenzhen

Fall 2022 - Present

• Major: Pure Mathematics
• CGPA: 3.88 / 4.00
• Rank: 5/219 in School of Science and Engineering, 4/77 in Mathematics

The Chinese University of Hong Kong

Spring 2025

• Visiting Student

Publications

(* denotes equal contribution)

1. LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
   Xuhan Huang, Qingning Shen, Yan Hu, Anningzhe Gao, Benyou Wang
   Findings of the Association for Computational Linguistics (NAACL), 2025. [paper] [code]

2. Federated Linear Dueling Bandits
   Xuhan Huang, Yan Hu, Zhiyan Li, Zhiyong Wang, Benyou Wang, Zhongxiang Dai
   AAAI Conference on Artificial Intelligence (AAAI), 2026. [paper]

3. Re:Form—Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs
   Chuanhao Yan*, Fengdi Che*, Xuhan Huang*, Xu Xu*, Xin Li*, Yizhi Li*, Xingwei Qu*, Jingzhe Shi, Chenghua Lin, Yaodong Yang, Binhang Yuan, Hang Zhao, Yu Qiao, Bowen Zhou, Jie Fu.
   Preprint, 2025. [paper] [code]

4. Differentiable Evolutionary Reinforcement Learning Sitao Cheng*, Tianle Li*, Xuhan Huang*, Xunjian Yin, Difan Zou. Preprint, 2025. [paper] [code]

5. VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
   Lingfei Zeng*, Fengdi Che*, Xuhan Huang, Fei Ye, Xu Xu, Binhang Yuan, Jie Fu
   Preprint, 2025. [paper] [code]

6. CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
   Zhengyang Tang*, Zihan Ye*, Chenyu Huang*, Xuhan Huang, Chengpeng Li, Sihang Li, Guanhua Chen, Ming Yan, Zizhuo Wang, Hongyuan Zha, Dayiheng Liu, Benyou Wang.
   Preprint, 2025. [paper]

Teaching Experience

Teaching Assistant for Honours Ordinary Differential Equations

CUHK-Shenzhen, School of Science and Engineering | Fall 2024

• Delivered one-hour weekly tutorials on solving ODEs and provided an additional hour of one-on-one student support.

Teaching Assistant for Honours Calculus

CUHK-Shenzhen, School of Science and Engineering | Spring 2024

• Led two-hour weekly tutorials covering topics in Calculus and Analysis and held a one-hour weekly session for individual student assistance.

Activities

Advanced Course in Modern Optimization

Summer 2024

• Studied modern optimization under Professor Yurii Nesterov, following his book, Lectures on Convex Optimization.

Student Seminar Speaker Summer 2023, Summer 2025

Work: Delivered technical lectures for undergraduate students on advanced topics:

• Reinforcement Learning (2025): Covered PPO derivation and the veRL training framework.
• Real Analysis (2023): Covered continuity, limits, and differentiation in Euclidean space \(\mathbb{R}^N\).