M. Patel, “LeanTutor: Towards a Verified AI Mathematical Proof Tutor”, AAAI, vol. 40, no. 47, pp. 40670–40678, Mar. 2026.