LeanTutor: Towards a Verified AI Mathematical Proof Tutor
arXiv:2601.17473v1 Announce Type: new Abstract: This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication...