LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Item #:

075280-0944

Details

DOI: https://doi.org/10.52202/075280-0944
Author(s): Animashree Anandkumar, Rahul Chalamala, Saad Godil, Alex Gu, Ryan J Prenger, Peiyang Song, Aidan Swope, Kaiyu Yang, Shixing Yu
Pages: 21573-21612 (40 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 36
Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 36
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/075280-0944
Author(s): Animashree Anandkumar, Rahul Chalamala, Saad Godil, Alex Gu, Ryan J Prenger, Peiyang Song, Aidan Swope, Kaiyu Yang, Shixing Yu
Pages: 21573-21612 (40 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 36
Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 36
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)