Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
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,…
cs.AI2025
MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
JoaquÃn Jordán, Xavier Yin, Melissa Fabros +2
Automated Essay Scoring (AES) and Automatic Essay Feedback (AEF) systems aim to reduce the workload of human raters in educational assessment. However, most existing systems priori…