ML Anthology

Kumarappan, Adarsh

1 publications

ICLR 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar