PPaperPicks

Sean Lamont

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1NeurIPS ×1

Frequent coauthors

Christian Walder
×2
Amir Dezfouli
×2
Paul Montague
×2
Michael Norrish
×2

Papers

  1. 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
    NeurIPS 2025 · Sean Lamont,
    Christian Walder
    ,
    Amir Dezfouli
    ,
    Paul Montague
    ,
    Michael Norrish
  2. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
    AAAI 2024 · Sean Lamont,
    Michael Norrish
    ,
    Amir Dezfouli
    ,
    Christian Walder
    ,
    Paul Montague