https://openreview.net/forum?id=Uo4EHT4ZZ8
LeanAgent: Lifelong Learning for Formal Theorem Proving | OpenReview
Large Language Models (LLMs) have been successful in mathematical reasoning tasks such as formal theorem proving when integrated with interactive proof...
lifelong learningfor formaltheorem provingopenreview