https://github.com/lean-dojo/LeanDojo
```
@article{yang2023leandojo,
  title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
  author={Yang, Kaiyu and Swope, Aidan and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima},
  journal={arXiv preprint arXiv:2306.15626},
  year={2023}
}
```
license:cc-by-2.0 region:us
{"license": "cc-by-2.0"}
TAGS
#license-cc-by-2.0 #region-us 

URL

TAGS
#license-cc-by-2.0 #region-us 

passage: TAGS
#license-cc-by-2.0 #region-us 
