APA (7th ed.) Citation

Patel, M., Bhattacharyya, R., Lu, T., Mehta, A., Voss, N., Norouzi, N., & Ranade, G. (2025). LeanTutor: Towards a Verified AI Mathematical Proof Tutor.

Chicago Style (17th ed.) Citation

Patel, Manooshree, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, and Gireeja Ranade. LeanTutor: Towards a Verified AI Mathematical Proof Tutor. 2025.

MLA (9th ed.) Citation

Patel, Manooshree, et al. LeanTutor: Towards a Verified AI Mathematical Proof Tutor. 2025.