论文信息 - LeanDojo: Theorem Proving with Retrieval-Augmented Language Models - 字舞流文

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Aidan M. Swope | Anima Anandkumar | R. Prenger | Kaiyu Yang | Saad Godil | Shixing Yu | Peiyang Song | Alex Gu | Rahul Chalamala