LeanAgent: Lifelong Learning for Formal Theorem Proving - Kumarappan, Adarsh; Tiwari, Mohit; Song, Peiyang; George, Robert Joseph; Xiao, Chaowei; anandkumar, anima (International Conference on Learning Representations, 2025)