1 paper · 1 filter
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
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,…