APA (7th ed.) Citation

Kumarappan, A., Tiwari, M., Song, P., George, R. J., Xiao, C., & Anandkumar, A. (2024). LeanAgent: Lifelong Learning for Formal Theorem Proving.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Kumarappan, Adarsh, et al. LeanAgent: Lifelong Learning for Formal Theorem Proving. 2024.