Liu, Haoxiong

5 publications

ICLR 2026 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 Beth Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, Shen Xin, Zhenguo Li

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

ICML 2025 ProofAug: Efficient Neural Theorem Proving via Fine-Grained Proof Structure Analysis Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C Yao

ICLRW 2024 Augmenting Math Word Problems via Iterative Question Composing Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew C Yao

ICML 2023 Quantifying the Variability Collapse of Neural Networks Jing Xu, Haoxiong Liu