@misc{indiciae3d44127dd8f4,
  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/2506.08321},
  note = {Source identifier: 2506.08321}
}