Views
No views yet
1@article{yang2023leandojo,
2 title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
3 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},
4 journal={arXiv preprint arXiv:2306.15626},
5 year={2023}
6}