Patel, Manooshree, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, and Gireeja Ranade. 2026. “LeanTutor: Towards a Verified AI Mathematical Proof Tutor”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (47):40670-78. https://doi.org/10.1609/aaai.v40i47.41514.