PPaperPicks

Amir Dezfouli

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2NeurIPS ×1

Frequent coauthors

Sean Lamont
×2
Christian Walder
×2
Paul Montague
×2
Michael Norrish
×2
Md Zahidul Islam
×1
Cameron S. Fletcher
×1
Ke Sun
×1
Iadine Chades
×1

Papers

  1. Leveraging Sparse Observations to Predict Species Abundance Across Space and Time
    AAAI 2026 ·
    Md Zahidul Islam
    ,
    Cameron S. Fletcher
    ,
    Ke Sun
    , Amir Dezfouli,
    Iadine Chades
  2. 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
    NeurIPS 2025 ·
    Sean Lamont
    ,
    Christian Walder
    , Amir Dezfouli,
    Paul Montague
    ,
    Michael Norrish
  3. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
    AAAI 2024 ·
    Sean Lamont
    ,
    Michael Norrish
    , Amir Dezfouli,
    Christian Walder
    ,
    Paul Montague