Haoxiong Liu

2 papers at tracked venues · 2 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ICML ×1

Frequent coauthors

Andrew C. Yao

×2

Yifan Zhang

×1

Yifan Luo

×1

Jiacheng Sun

×1

Zhenguo Li

×1

Papers

Augmenting Math Word Problems via Iterative Question Composing
AAAI 2025 · Haoxiong Liu,
Yifan Zhang
,
Yifan Luo
,
Andrew C. Yao
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
ICML 2025 · Haoxiong Liu,
Jiacheng Sun
,
Zhenguo Li
,
Andrew C. Yao