PPaperPicks

Michael Norrish

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FSE ×1NeurIPS ×1

Frequent coauthors

Sean Lamont
×2
Christian Walder
×2
Amir Dezfouli
×2
Paul Montague
×2
Zara Hassan
×1
Christoph Treude
×1
Graham J. Williams
×1
Alex Potanin
×1

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
  3. Reproducibility Debt: Challenges and Future Pathways
    FSE 2024 ·
    Zara Hassan
    ,
    Christoph Treude
    , Michael Norrish,
    Graham J. Williams
    ,
    Alex Potanin