activity
20202023
most citedProof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

22 citations · 41 across the 5 of their papers we have counts for

collaborators

5 papers

cs.HC2023★ 1 cited

Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks

Seth Poulsen, Hongxuan Chen, Yael Gertner +3

Background: Proof Blocks is a software tool that enables students to construct proofs by assembling prewritten lines and gives them automated feedback. Prior work on learning gains…

cs.CY2022★ 15 cited

Efficiency of Learning from Proof Blocks Versus Writing Proofs

Seth Poulsen, Yael Gertner, Benjamin Cosman +2

Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order inst…

cs.AI2022★ 3 cited

Efficient Feedback and Partial Credit Grading for Proof Blocks Problems

Seth Poulsen, Shubhang Kulkarni, Geoffrey Herman +1

Proof Blocks is a software tool that allows students to practice writing mathematical proofs by dragging and dropping lines instead of writing proofs from scratch. Proof Blocks off…

cs.CY2021★ 22 cited

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman +1

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…

cs.CR2020

Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity

Alan T. Sherman, Geoffrey L. Herman, Linda Oliva +5

We reflect on our ongoing journey in the educational Cybersecurity Assessment Tools (CATS) Project to create two concept inventories for cybersecurity. We identify key steps in thi…