Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical WritingIn-Person
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 MarDisplayed time zone: Eastern Time (US & Canada) change
15:45 - 17:00 | |||
15:45 25mTalk | 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 25mPaper | 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 25mPaper | 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 |