@misc{indiciae5ee2d11cd2c3,
  title = {LeanTutor: Towards a Verified AI Mathematical Proof Tutor},
  author = {Manooshree Patel and Rayna Bhattacharyya and Thomas Lu and Arnav Mehta and Niels Voss and Narges Norouzi and Gireeja Ranade},
  year = {2026},
  url = {https://arxiv.org/abs/2601.17473},
  note = {Source identifier: 2601.17473}
}