Autograding Mathematical Induction Proofs with Natural Language Processing
Published in International Journal of Artificial Intelligence in Education (in submission), 2024
Recommended citation: Zhao, C., Silva, M., & Poulsen, S. (2024). Autograding Mathematical Induction Proofs with Natural Language Processing (arXiv:2406.10268). arXiv. https://doi.org/10.48550/arXiv.2406.10268
Download Paper