@misc{indiciae4c638b9e19ec,
  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},
  url = {https://arxiv.org/abs/2306.15626},
  note = {Source identifier: 2306.15626}
}