2 papers
cs.AI2025
Autograding Mathematical Induction Proofs with Natural Language Processing
Chenyan Zhao, Mariana Silva, Seth Poulsen
In mathematical proof education, there remains a need for interventions that help students learn to write mathematical proofs. Research has shown that timely feedback can be very h…
cs.CL2025
Language Models are Few-Shot Graders
Chenyan Zhao, Mariana Silva, Seth Poulsen
Providing evaluations to student work is a critical component of effective student learning, and automating its process can significantly reduce the workload on human graders. Auto…