Prenger, Ryan J

1 publications

NeurIPS 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J Prenger, Animashree Anandkumar