Cover Image

LeanTutor: Towards a Verified AI Mathematical Proof Tutor

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Patel, Manooshree, Bhattacharyya, Rayna, Lu, Thomas, Mehta, Arnav, Voss, Niels, Norouzi, Narges, Ranade, Gireeja
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2025)

MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
by: Jordán, Joaquín, et al.
Published: (2025)

Misconception Diagnosis From Student-Tutor Dialogue: Generate, Retrieve, Rerank
by: Mitton, Joshua, et al.
Published: (2026)

ParaStudent: Generating and Evaluating Realistic Student Code by Teaching LLMs to Struggle
by: Miroyan, Mihran, et al.
Published: (2025)

Decomposing Prediction Mechanisms for In-Context Recall
by: Daniels, Sultan, et al.
Published: (2025)

TutorBench: A Benchmark To Assess Tutoring Capabilities Of Large Language Models
by: Srinivasa, Rakshith S, et al.
Published: (2025)

LLMs Are Already Good Tutors: Training-Free Prompt Optimization for Pedagogical Math Tutoring
by: Lee, Unggi, et al.
Published: (2026)

Towards Actionable Pedagogical Feedback: A Multi-Perspective Analysis of Mathematics Teaching and Tutoring Dialogue
by: Naim, Jannatun, et al.
Published: (2025)

MathTutorBench: A Benchmark for Measuring Open-ended Pedagogical Capabilities of LLM Tutors
by: Macina, Jakub, et al.
Published: (2025)

An LLM-Guided Tutoring System for Social Skills Training
by: Guevarra, Michael, et al.
Published: (2025)

Enhancing Talk Moves Analysis in Mathematics Tutoring through Classroom Teaching Discourse
by: Cao, Jie, et al.
Published: (2024)

Cultivating Helpful, Personalized, and Creative AI Tutors: A Framework for Pedagogical Alignment using Reinforcement Learning
by: Song, Siyu, et al.
Published: (2025)

Prerequisite Structure Discovery in Intelligent Tutoring Systems
by: Annabi, Louis, et al.
Published: (2024)

From Solver to Tutor: Evaluating the Pedagogical Intelligence of LLMs with KMP-Bench
by: Shi, Weikang, et al.
Published: (2026)

Apriori-based Analysis of Learned Helplessness in Mathematics Tutoring: Behavioral Patterns by Level, Intervention, and Outcome
by: Miranda, John Paul P.
Published: (2026)

Decoding AI Tutor Effects for Educational Measurement: Temporal, Multi-Outcome, and Behavior-Cognitive Analysis
by: Yang, Yiyao, et al.
Published: (2026)

Do We Need Frontier Models to Verify Mathematical Proofs?
by: Naik, Aaditya, et al.
Published: (2026)

PEARL: Training Socratic Tutors with Pedagogically Aligned Reinforcement Learning
by: Chang, Qikai, et al.
Published: (2026)

Revolutionising Distance Learning: A Comparative Study of Learning Progress with AI-Driven Tutoring
by: Möller, Moritz, et al.
Published: (2024)

Retrieval-Augmented Tutoring for Algorithm Tracing and Problem-Solving in AI Education
by: Jain, Mragisha, et al.
Published: (2026)

Tutorly: Turning Programming Videos Into Apprenticeship Learning Environments with LLMs
by: Li, Wengxi, et al.
Published: (2024)

ProPACT: A Proactive AI-Driven Adaptive Collaborative Tutor for Pair Programming
by: Golrang, Anahita, et al.
Published: (2026)

Teaching According to Students' Aptitude: Personalized Mathematics Tutoring via Persona-, Memory-, and Forgetting-Aware LLMs
by: Wu, Yang, et al.
Published: (2025)

Exploring Knowledge Tracing in Tutor-Student Dialogues using LLMs
by: Scarlatos, Alexander, et al.
Published: (2024)

ConvoLearn: A Learning Sciences Grounded Dataset for Fine-Tuning Dialogic AI Tutors
by: Sharma, Mayank, et al.
Published: (2026)

Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference
by: Anchuri, Pranay, et al.
Published: (2026)

SCRIPT: Implementing an Intelligent Tutoring System for Programming in a German University Context
by: Deriyeva, Alina, et al.
Published: (2026)

Lean 5.0: A Predictive, Human-AI, and Ethically Grounded Paradigm for Construction Management
by: Khoshkonesh, Atena, et al.
Published: (2025)

Efficiently Verifiable Proofs of Data Attribution
by: Karchmer, Ari, et al.
Published: (2025)

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
by: Kripner, Matěj, et al.
Published: (2025)

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
by: He, Jun, et al.
Published: (2026)

Phase Transitions of Diversity in Stochastic Block Model Dynamics
by: Brânzei, Simina, et al.
Published: (2023)

Tutor-Student Reinforcement Learning: A Dynamic Curriculum for Robust Deepfake Detection
by: Lei, Zhanhe, et al.
Published: (2026)

Stepwise Verification and Remediation of Student Reasoning Errors with Large Language Model Tutors
by: Daheim, Nico, et al.
Published: (2024)

TutorLLM: Customizing Learning Recommendations with Knowledge Tracing and Retrieval-Augmented Generation
by: Li, Zhaoxing, et al.
Published: (2025)

AI2T: Building Trustable AI Tutors by Interactively Teaching a Self-Aware Learning Agent
by: Weitekamp, Daniel, et al.
Published: (2024)

PeerAiD: Improving Adversarial Distillation from a Specialized Peer Tutor
by: Jung, Jaewon, et al.
Published: (2024)

Pedagogical Safety in Educational Reinforcement Learning: Formalizing and Detecting Reward Hacking in AI Tutoring Systems
by: Olukola, Oluseyi, et al.
Published: (2026)

3DG: A Framework for Using Generative AI for Handling Sparse Learner Performance Data From Intelligent Tutoring Systems
by: Zhang, Liang, et al.
Published: (2024)

The Missing Evaluation Axis: What 10,000 Student Submissions Reveal About AI Tutor Effectiveness
by: Niousha, Rose, et al.
Published: (2026)