LeanAgent: Lifelong Learning for Formal Theorem Proving.

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

Browse the full ICLR paper archive.