3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes - Lamont, Sean; Walder, Christian; Dezfouli, Amir; Montague, Paul; Norrish, Michael (Advances in Neural Information Processing Systems, 2025)