LeanDojo: Theorem Proving with Retrieval Augmented Language Models Under review, NeurIPS (Datasets and Benchmarks Track), 2023 Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar Please visit LeanDojo Website for details.
We use cookies for essential functionality and analytics. You can accept or reject analytics cookies.Cookie policy