Quantifying the Variability Collapse of Neural Networks. - Jing Xu 027; Haoxiong Liu (ICML, 2023)

Augmenting Math Word Problems via Iterative Question Composing. - Haoxiong Liu; Yifan Zhang; Yifan Luo; Andrew C. Yao (AAAI, 2025)

Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis. - Haoxiong Liu; Jiacheng Sun; Zhenguo Li; Andrew C. Yao (CoRR, 2025)

Mathesis: Towards Formal Theorem Proving from Natural Languages. - Yu Xuejun; Jianyuan Zhong; Zijin Feng; Pengyi Zhai; Roozbeh Yousefzadeh; Wei Chong Ng; Haoxiong Liu; Ziyi Shou; Jing Xiong; Yudong Zhou; Claudia Ong; Austen Jeremy Sugiarto; et al. (CoRR, 2025)