Lamont, Sean

2 publications

NeurIPS 2025 3D-Prover: Diversity Driven Theorem Proving with Determinantal Point Processes Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

AAAI 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague