@article{3dproverdiversitydriventheoremproving,
  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 = {2024},
  eprint = {2410.11133},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.11133v1},
}