Haoxiong Liu

According to our database, Haoxiong Liu authored at least 4 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.

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, 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

Augmenting Math Word Problems via Iterative Question Composing.

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

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Quantifying the Variability Collapse of Neural Networks.

Jing Xu, Haoxiong Liu

Proceedings of the International Conference on Machine Learning, 2023