Researcher profile

Arnav Mehta

1 paper in the PaperMetrix corpus

Publications

Papers by this author

LeanTutor: Towards a Verified AI Mathematical Proof Tutor

2025 · arXiv (Cornell University)

This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language, they are error prone. Theorem provers such as Lean allow for provable-correctness, …