Liu, Haoxiong

4 publications

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