Xuhan Huang

According to our database, Xuhan Huang authored at least 9 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Trans. Mach. Learn. Res., 2026

Federated Linear Dueling Bandits.

Xuhan Huang, Yan Hu, Zhiyan Li, Zhiyong Wang, Zhongxiang Dai

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Differentiable Evolutionary Reinforcement Learning.

Sitao Cheng, Tianle Li, Xuhan Huang, Xunjian Yin, Difan Zou

CoRR, December, 2025

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

CoRR, October, 2025

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

CoRR, October, 2025

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, Zhuangzhuang He, Chenghua Lin, Yaodong Yang, Binhang Yuan, Hang Zhao, Yu Qiao, Bowen Zhou, Jie Fu

CoRR, July, 2025

Federated Linear Dueling Bandits.

Xuhan Huang, Yan Hu, Zhiyan Li, Zhiyong Wang, Benyou Wang, Zhongxiang Dai

CoRR, February, 2025

LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages.

Xuhan Huang, Qingning Shen, Yan Hu, Anningzhe Gao, Benyou Wang

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 2025

2024

Mamo: a Mathematical Modeling Benchmark with Solvers.

Xuhan Huang, Qingning Shen, Yan Hu, Anningzhe Gao, Benyou Wang

CoRR, 2024