LeanAgent: Lifelong Learning for Formal Theorem Proving

Open Webpage

Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar

Published: 01 Jan 2025, Last Modified: 04 Jun 2025ICLR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0