Xuhan Huang
Scholar

Xuhan Huang

Google Scholar ID: Iu80TyIAAAAJ
The Chinese University of Hong Kong, Shenzhen
Machine learning
Google Scholar↗
Citations & Impact
All-time
Citations
32
 
H-index
2
 
i10-index
1
 
Publications
5
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
6 items
Differentiable Evolutionary Reinforcement Learning
2025
Cited
0
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
2025
Cited
0
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
2025
Cited
0
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
2025
Cited
0
Federated Linear Dueling Bandits
2025
Cited
0
LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
2024
Cited
3
Resume (English only)
Co-authors
5 total
Benyou Wang
Benyou Wang
Assistant Professor, The Chinese University of Hong Kong, Shenzhen
Co-author 2
Co-author 2
anningzhe gao
anningzhe gao
Bytedance
Zhongxiang Dai
Zhongxiang Dai
Assistant Professor, The Chinese University of Hong Kong, Shenzhen
Zhiyong Wang
Zhiyong Wang
The University of Edinburgh