Crossmark

Autograding Mathematical Induction Proofs with Natural Language Processing

Crossref DOI link: https://doi.org/10.1007/s40593-025-00498-2

Published Print: 2025-12

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

Zhao, Chenyan

Silva, Mariana

Poulsen, Seth
License Information

Text and Data Mining valid from 2025-12-01

Text and Data Mining valid from 2025-12-01

Version of Record valid from 2026-04-22
More Information

This article is maintained by: Elsevier

Article Title: Autograding Mathematical Induction Proofs with Natural Language Processing

Journal Title: International Journal of Artificial Intelligence in Education

CrossRef DOI link to publisher maintained version: https://doi.org/10.1007/s40593-025-00498-2

Content Type: article

Copyright: Copyright © 2025 The Author(s). Published by Elsevier Ltd