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:	2025
Subjects:	Artificial Intelligence Human-Computer Interaction Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2506.08321