# Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

arXiv: https://arxiv.org/abs/2106.11032 · HTML: https://mlsanity.com/paper/2106.11032/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Jun 2021.

## Built on by (most cited first, 3 of 3)

- [Autograding Mathematical Induction Proofs with Natural Language Processing](https://mlsanity.com/paper/2406.10268/) (2024)
- [Efficient Feedback and Partial Credit Grading for Proof Blocks Problems](https://mlsanity.com/paper/2204.04196/) (2022)
- [Automated Grading of Handwritten Mathematics Using Vision-Capable LLMs](https://mlsanity.com/paper/2605.19043/) (2026)

## Abstract (arXiv)

Proof Blocks is a software tool which enables students to write proofs by dragging and dropping prewritten proof lines into the correct order. These proofs can be graded completely automatically, enabling students to receive rapid feedback on how they are doing with their proofs. When constructing a problem, the instructor specifies the dependency graph of the lines of the proof, so that any correct arrangement of the lines can receive full credit. This innovation can improve assessment tools by increasing the types of questions we can ask students about proofs, and can give greater access to proof knowledge by increasing the amount that students can learn on their own with the help of a computer.