Haoxiong Liu

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

Collaborative distances:

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

2025

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

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

CoRR, January, 2025

2024

Augmenting Math Word Problems via Iterative Question Composing.

Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew Chi-Chih Yao

CoRR, 2024

2023

Quantifying the Variability Collapse of Neural Networks.

Jing Xu, Haoxiong Liu

Proceedings of the International Conference on Machine Learning, 2023