Patel, M. (2026) “LeanTutor: Towards a Verified AI Mathematical Proof Tutor”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(47), pp. 40670–40678. doi: 10.1609/aaai.v40i47.41514.