@misc{yang2023leandojo,
  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},
  eprint={2306.15626},
  archivePrefix={arXiv},
  primaryClass={cs.LG},
  url={https://arxiv.org/abs/2306.15626}
}