LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs. - Manooshree Patel; Rayna Bhattacharyya; Thomas Lu; Arnav Mehta; Niels Voss; Narges Norouzi; Gireeja Ranade (CoRR, 2025)