Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2506.08321
Cited By
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
10 June 2025
Manooshree Patel
Rayna Bhattacharyya
Thomas Lu
Arnav Mehta
Niels Voss
Narges Norouzi
Gireeja Ranade
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs"
Title
No papers
