@misc{yang2023aixiv260800007,
  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        = {2608.00007},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.LG},
  url           = {https://aixiv.online/abs/2608.00007},
  note          = {aiXiv:2608.00007v1, sha256:a6cf62042a4397b4…. Code: https://github.com/lean-dojo/LeanDojo}
}