@inproceedings{leandojotheoremprovingwithretrieval1,
  title = {LeanDojo: Theorem Proving with Retrieval-Augmented Language Models},
  author = {Kaiyu Yang and Aidan M. Swope and Alex Gu and Rahul Chalamala and Peiyang Song and Shixing Yu and Saad Godil and Ryan Prenger and Anima Anandkumar},
  year = {2023},
  booktitle = {NeurIPS 2023 11},
  eprint = {2306.15626},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.15626v2},
}