Efficient Partial Credit Grading of Proof Blocks Problems

04/08/2022
by   Seth Poulsen, et al.
0

Proof Blocks is a software tool which allows students to practice writing mathematical proofs by dragging and dropping lines instead of writing proofs from scratch. In this paper, we address the problem of assigning partial credit to students completing Proof Blocks problems. Because of the large solution space, it is computationally expensive to calculate the difference between an incorrect student solution and some correct solution, restricting the ability to automatically assign students partial credit. We propose a novel algorithm for finding the edit distance from an arbitrary student submission to some correct solution of a Proof Blocks problem. We benchmark our algorithm on thousands of student submissions from Fall 2020, showing that our novel algorithm can perform over 100 times better than the naive algorithm on real data. Our new algorithm has further applications in grading Parson's Problems, as well as any other kind of homework or exam problem where the solution space may be modeled as a directed acyclic graph.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/17/2022

Efficiency of Learning from Proof Blocks Versus Writing Proofs

Proof Blocks is a software tool that provides students with a scaffolded...
research
06/07/2021

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

Proof Blocks is a software tool which enables students to write proofs b...
research
12/19/2019

Edit Based Grading of SQL Queries

Grading student SQL queries manually is a tedious and error-prone proces...
research
08/22/2017

The Continuous Hint Factory - Providing Hints in Vast and Sparsely Populated Edit Distance Spaces

Intelligent tutoring systems can support students in solving multi-step ...
research
09/03/2019

Identifying Editor Roles in Argumentative Writing from Student Revision Histories

We present a method for identifying editor roles from students' revision...
research
12/02/2020

Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence

Computing theory analyzes abstract computational models to rigorously st...
research
08/14/2023

Computer Aided Design and Grading for an Electronic Functional Programming Exam

Electronic exams (e-exams) have the potential to substantially reduce th...

Please sign up or login with your details

Forgot password? Click here to reset