TY  - RPRT
TI  - Autograding Mathematical Induction Proofs with Natural Language Processing
AU  - Chenyan Zhao
AU  - Mariana Silva
AU  - Seth Poulsen
PY  - 2025
DO  - 10.1007/s40593-025-00498-2
UR  - https://arxiv.org/abs/2406.10268
ID  - 2406.10268
ER  -