Patel, M.; Bhattacharyya, R.; Lu, T.; Mehta, A.; Voss, N.; Norouzi, N.; Ranade, G. LeanTutor: Towards a Verified AI Mathematical Proof Tutor. AAAI 2026, 40, 40670-40678.