We gratefully acknowledge support from
the Simons Foundation and member institutions.

Kaiyu Yang, Alex Gu and Peiyang Song are qualified to endorse.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Kaiyu Yang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CV, cs.LG, cs.LO, stat.ML. (why?)
Alex Gu: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.HC, cs.LG, cs.LO, cs.PL, cs.SE. (why?)
Rahul Chalamala: Is registered as an author of this paper.
Not currently an endorser. (why?)
Peiyang Song: Is registered as an author of this paper.
Can endorse for stat.ML. (why?)

Aidan M. Swope, Shixing Yu, Saad Godil, Ryan Prenger and Anima Anandkumar are not registered as owners of this paper. (why?)