Xuhan Huang

Undergrad student, The Chinese University of Hong Kong, Shenzhen

Joined

March 2024

Names

Xuhan Huang (Preferred)

Emails

****@link.cuhk.edu.cn (Confirmed)

Personal Links

Career & Education History

Undergrad student

The Chinese University of Hong Kong, Shenzhen (cuhk.edu.cn)

2022 – 2026

Intern

Shanghai Artificial Intelligence Laboratory (pjlab.org.cn)

2025 – 2025

Advisors, Relations & Conflicts

Coauthor

Present

Coauthor

Present

Coauthor

Present

Coauthor

Present

Expertise

No areas of expertise listed

Publications

Differentiable Evolutionary Reinforcement Learning
Sitao Cheng, Tianle Li, Xuhan Huang, Xunjian Yin, Difan Zou
- ICLR 2026 Workshop RSI Poster
- Readers: Everyone
Re:Form --- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
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
- Accepted by TMLR
- Readers: Everyone
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
- Submitted to ICLR 2026
- Readers: Everyone
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
- ICLR 2026 Poster
- Readers: Everyone

Co-Authors

View all 31 co-authors