@article{journals/corr/abs-2306-15626,
added-at = {2023-06-30T00:00:00.000+0200},
author = {Yang, Kaiyu and Swope, Aidan M. and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima},
biburl = {https://www.bibsonomy.org/bibtex/28a4dd2dbd6bed9801376c8f386297436/dblp},
ee = {https://doi.org/10.48550/arXiv.2306.15626},
interhash = {a3156ba0e5061e756efb8aed7a0ceda4},
intrahash = {8a4dd2dbd6bed9801376c8f386297436},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T22:31:28.000+0200},
title = {LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2306.html#abs-2306-15626},
volume = {abs/2306.15626},
year = 2023
}