Patel, M., Bhattacharyya, R., Lu, T., Mehta, A., Voss, N., Norouzi, N., & Ranade, G. (2026). LeanTutor: Towards a Verified AI Mathematical Proof Tutor. Proceedings of the AAAI Conference on Artificial Intelligence, 40(47), 40670–40678. https://doi.org/10.1609/aaai.v40i47.41514