Haoxiong Liu

According to our database, Haoxiong Liu authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Mathesis: Towards Formal Theorem Proving from Natural Languages.

Xuejun Yu, Jianyuan Zhong, Zijin Feng, Pengyi Zhai, Roozbeh Yousefzadeh, Wei Chong Ng, Haoxiong Liu, Ziyi Shou, Jing Xiong, Yudong Zhou, Claudia Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, Shen Xin, Zhenguo Li

CoRR, June, 2025

Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis.

Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C. Yao

CoRR, January, 2025

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis.

Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C. Yao

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Augmenting Math Word Problems via Iterative Question Composing.

Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew C. Yao

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2023

Quantifying the Variability Collapse of Neural Networks.

Jing Xu, Haoxiong Liu

Proceedings of the International Conference on Machine Learning, 2023