@misc{indiciaed2ddc0d12601,
  title = {3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes},
  author = {Sean Lamont and Christian Walder and Amir Dezfouli and Paul Montague and Michael Norrish},
  year = {2025},
  url = {https://arxiv.org/abs/2410.11133},
  note = {Source identifier: 2410.11133}
}