Proof Blocks ▸ Research
Proof Blocks Problems as Exam Questions
We used Proof Blocks in a discrete math course with hundreds of students. Our psychometric analysis
showed that Proof Blocks problems gave substantial information about student knowledge while being easier
than written proofs. Student surveys showed that students felt that Proof Blocks were easy to use and gave them an
authentic proof-writing experience.
Evaluating Proof Blocks Problems as Exam Questions by
Geoffrey L. Herman, and
Honorable Mention for Best Paper,
International Computing Education Research conference 2021
We're working on generating problems that look like the informal, natural language proofs that
students are used to, but generated from a formal proof assistant such as Coq.
Having a underlying formal representation of the problem will allow us to do implement novel technologies such as
autograding proof problems that include fill-in-the blank boxes, randomly generating new proof problems for students, and more.
Autogenerating Natural Language Proofs for Proof Education by
Matthew West, and
The Coq Workshop 2022