@inproceedings{25e40e0028bd4d5d86ba8f8c5bb67936,
title = "Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs",
abstract = "In this software tool paper we present Proof Blocks, a tool which enables students to construct mathematical proofs by dragging and dropping prewritten proof lines into the correct order. We present both implementation details of the tool, as well as a rich reflection on our experiences using the tool in courses with hundreds of students. Proof Blocks problems can be graded completely automatically, enabling students to receive rapid feedback. When writing 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.",
keywords = "automatic grading, cs education, discrete mathematics, proofs",
author = "Seth Poulsen and Mahesh Viswanathan and Herman, {Geoffrey L.} and Matthew West",
note = "Publisher Copyright: {\textcopyright} 2022 ACM.; 27th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2022 ; Conference date: 08-07-2022 Through 13-07-2022",
year = "2022",
month = jul,
day = "7",
doi = "10.1145/3502718.3524774",
language = "English (US)",
series = "Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE",
publisher = "Association for Computing Machinery",
pages = "428--434",
booktitle = "ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education",
address = "United States",
}