TY  - RPRT
TI  - 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
AU  - Sean Lamont
AU  - Christian Walder
AU  - Amir Dezfouli
AU  - Paul Montague
AU  - Michael Norrish
PY  - 2025
UR  - https://arxiv.org/abs/2410.11133
ID  - 2410.11133
ER  -