Scholar
Xuhan Huang
Google Scholar ID: Iu80TyIAAAAJ
The Chinese University of Hong Kong, Shenzhen
Machine learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
32
H-index
2
i10-index
1
Publications
5
Co-authors
5
list available
Publications
7 items
Sparse Weight Decomposition for Efficient Circuit Extraction
2026
Cited
0
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
Co-authors
4 total
Benyou Wang
Assistant Professor, The Chinese University of Hong Kong, Shenzhen
anningzhe gao
Bytedance
Zhongxiang Dai
Assistant Professor, The Chinese University of Hong Kong, Shenzhen
Zhiyong Wang
The University of Edinburgh
