LeanAgent: Lifelong Learning for Formal Theorem Proving
YC Root Access · 6:51
LeanAgent is a continual ("lifelong") learning framework for formal theorem proving in Lean, built by Adarsh at Caltech and presented at ICLR. It works through math repositories from easy to hard, retrains its premise...