Labeled corpus of student induction proofs graded against a 7-point rubric¶
Product or Programme · All products and programmes
Evidence · 1 claim (1 for) · 1 study (1 design),q2· 0 of 1 report an effect size · 1 claim rests on one study
Description¶
A research dataset of undergraduate students’ written mathematical-induction proofs collected at pretest and posttest and annotated by multiple raters with rubric-based correctness labels for training and evaluating automated proof-grading models.
Components¶
Claims¶
Related Products and Programmes¶
-
Key Sources¶
- Zhao, C., Silva, M., & Poulsen, S. (2025). Autograding Mathematical Induction Proofs with Natural Language Processing. International Journal of Artificial Intelligence in Education, 35, 3202–3232. https://doi.org/10.1007/s40593-025-00498-2
Page metadata
| Field | Value |
|---|---|
type |
product |
id |
labeled-corpus-of-student-induction-proofs-graded-against-a-7-point-rubric |
title |
Labeled corpus of student induction proofs graded against a 7-point rubric |
description |
A research dataset of undergraduate students’ written mathematical-induction proofs collected at pretest and posttest and annotated by multiple raters with rubric-based correctness labels for training and evaluating automated proof-grading models. |
status |
review |
product_kind |
dataset |
generated |
by process:settle-candidates on 2026-10-27 |
trust |
unverified — no one has confirmed this page's content |
Frontmatter is the page's machine-readable record — see the Schema & Guide.