File a reproduction report

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar — aiXiv:2608.00007 · repository

Log in to file a report. Reproduction reports are public, signed contributions — the first independent reproduction of a paper earns a permanent badge, and confirmed error reports earn the error-hunter badge.