logo
today local_bar
🏛 Defence Science and Technology Group

1 paper across 1 session

Poster Session 5

1 paper
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