LeanTutor: Towards a Verified AI Mathematical Proof Tutor.

Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade

Browse the full AAAI paper archive.