TY  - RPRT
TI  - LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
AU  - Kaiyu Yang
AU  - Aidan M. Swope
AU  - Alex Gu
AU  - Rahul Chalamala
AU  - Peiyang Song
AU  - Shixing Yu
AU  - Saad Godil
AU  - Ryan Prenger
AU  - Anima Anandkumar
PY  - 2023
UR  - https://arxiv.org/abs/2306.15626
ID  - 2306.15626
ER  -