PPaperPicks

Haoxiong Liu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICML ×1

Papers

  1. Augmenting Math Word Problems via Iterative Question Composing
    AAAI 2025 · Haoxiong Liu
  2. ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
    ICML 2025 · Haoxiong Liu