## 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
##### Proof Blocks for Learning

Research
has shown that in some situations, Parsons Problems can help students to learn as much
as writing code from scratch, but in a shorter amount of time.
Similarly, will Proof Blocks problems help students learn to write proofs more quickly than
writing proofs from scratch alone? We are designing experiments to test this hypothesis.

Coming soon!
##### 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.

**Evaluating Proof Blocks Problems as Exam Questions** by
Seth Poulsen,
Matthew West, and
Talia Ringer.
The Coq Workshop 2022