Mamo: a Mathematical Modeling Benchmark with Solvers. - Xuhan Huang; Qingning Shen; Yan Hu; Anningzhe Gao; Benyou Wang (CoRR, 2024)

LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages. - Xuhan Huang; Qingning Shen; Yan Hu; Anningzhe Gao; Benyou Wang (NAACL (Findings), 2025)

Federated Linear Dueling Bandits. - Xuhan Huang; Yan Hu; Zhiyan Li; Zhiyong Wang; Benyou Wang; Zhongxiang Dai (CoRR, 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 001; Binhang Yuan; et al. (CoRR, 2025)