today local_bar

Paul Montague

Researcher, Defence Science and Technology Group

1 paper at NeurIPS 2025

OpenReview· Semantic Scholar· Google Scholar

Poster Session 5

Friday, December 5, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

#2612 · Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

Learning proof system dynamics, pruning proof search based on diversity and expected outcome