We are excited to share our #ICLR2025 paper on LeanAgent: the first lifelong learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs cannot continuously

→ View original post on X — @animaanandkumar