Blogs (19) >>
Thu 16 Mar 2023 16:35 - 17:00 at 801A - Teaching Formal Methods Chair(s): John Barr

In technical writing, certain statements must be written very carefully in order to clearly and precisely communicate an idea. Students are often asked to write these statements in response to an open-ended prompt, making them difficult to auto-grade with traditional methods. We present what we believe to be a novel approach for auto-grading these statements by restricting students’ submissions to a pre-defined context-free grammar (configured by the instructor). In addition, our tool provides instantaneous feedback that helps students improve their writing, and it scaffolds the process of constructing a statement by reducing the number of choices students have to make compared to free-form writing. We evaluated our tool by deploying it on an assignment in a junior-level algorithms course. The assignment contained five questions that used the tool, preceded by a pre-test and followed by a post-test. We observed a statistically significant improvement from the pre-test to the post-test, with the mean score increasing from 7.2/12 to 9.2/12.

Thu 16 Mar

Displayed time zone: Eastern Time (US & Canada) change

15:45 - 17:00
Teaching Formal MethodsPapers at 801A
Chair(s): John Barr Ithaca College
15:45
25m
Talk
Discovering and quantifying misconceptions in formal methods using intelligent tutoring systemsIn-PersonGlobal
Papers
Marko Schmellenkamp Ruhr University Bochum, Alexandra Latys Ruhr University Bochum, Thomas Zeume Ruhr University Bochum
DOI
16:10
25m
Paper
Efficiency of Learning from Proof Blocks Versus Writing ProofsIn-Person
Papers
Seth Poulsen University of Illinois at Urbana-Champaign, Yael Gertner University of Illinois Urbana-Champaign, Benjamin Cosman University of California at San Diego, USA, Matthew West University of Illinois at Urbana-Champaign , Geoffrey Herman University of Illinois at Urbana-Champaign
DOI
16:35
25m
Paper
Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical WritingIn-Person
Papers
Jason Xia University of Illinois at Urbana-Champaign, Craig Zilles University of Illinois at Urbana-Champaign
DOI