## 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
Seth Poulsen,
Mahesh Viswanathan,
Geoffrey L. Herman, and
Matthew West.
Honorable Mention for Best Paper,
International Computing Education Research conference 2021
##### Problem Autogeneration

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
Seth Poulsen,
Matthew West, and
Talia Ringer.
The Coq Workshop 2022