PPaperPicks

Andrew C. Yao

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

DBLP profile ↗ORCID search ↗

Venues

ACL ×2AAAI ×1ICML ×1NeurIPS ×1

Frequent coauthors

Haoxiong Liu
DBLP profile ↗ORCID search ↗
×2
Yifan Zhang
DBLP profile ↗ORCID search ↗
×2
Jianlong Chen
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Augmenting Math Word Problems via Iterative Question Composing
    AAAI 2025 ·
    Haoxiong Liu
    DBLP profile ↗ORCID search ↗
  2. Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts
    ACL 2025 ·
    Yifan Zhang
    DBLP profile ↗ORCID search ↗
  3. Hierarchical Attention Generates Better Proofs
    ACL 2025 ·
    Jianlong Chen
    DBLP profile ↗ORCID search ↗
  4. ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
    ICML 2025 ·
    Haoxiong Liu
    DBLP profile ↗ORCID search ↗
  5. Tensor Product Attention Is All You Need
    NeurIPS 2025 ·
    Yifan Zhang
    DBLP profile ↗ORCID search ↗