Autograding Mathematical Induction Proofs with Natural Language Processing
Published in International Journal of Artificial Intelligence in Education, 2025
Recommended citation: Zhao, C., Silva, M. & Poulsen, S. Autograding Mathematical Induction Proofs with Natural Language Processing. Int J Artif Intell Educ (2025). https://doi.org/10.1007/s40593-025-00498-2
Download Paper