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

From SGD to Spectra: A Theory of Neural Network Weight Dynamics. - Brian Richard Olsen; Sam Fatehmanesh; Frank Xiao; Adarsh Kumarappan; Anirudh Gajula (CoRR, 2025)