Xuhan Huang

According to our database, Xuhan Huang authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

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