{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T20:38:02Z","timestamp":1773693482170,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T00:00:00Z","timestamp":1677715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["2121424"],"award-info":[{"award-number":["2121424"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,2]]},"DOI":"10.1145\/3545945.3569728","type":"proceedings-article","created":{"date-parts":[[2023,3,3]],"date-time":"2023-03-03T23:40:27Z","timestamp":1677886827000},"page":"479-485","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7279-4135","authenticated-orcid":false,"given":"Jason","family":"Xia","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4601-4398","authenticated-orcid":false,"given":"Craig","family":"Zilles","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,3,3]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524750"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404532"},{"key":"e_1_3_2_2_3_1","volume-title":"Algorithms","author":"Erickson Jeff","unstructured":"Jeff Erickson. 2019. Algorithms. Self-published, IL, USA, Chapter 3: Dynamic Programming, 97--157. http:\/\/jeffe.cs.illinois.edu\/teaching\/algorithms\/book\/03-dynprog.pdf"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141880.3141895"},{"key":"e_1_3_2_2_5_1","first-page":"3432539","article-title":"Autograding \"Explain in Plain English","volume":"3408877","author":"Fowler Max","year":"2021","unstructured":"Max Fowler, Binglin Chen, Sushmita Azad, Matthew West, and Craig Zilles. 2021. Autograding \"Explain in Plain English\" Questions Using NLP. Association for Computing Machinery, New York, NY, USA, 1163--1169. https:\/\/doi.org\/10.1145\/ 3408877.3432539","journal-title":"Questions Using NLP. Association for Computing Machinery, New York, NY, USA, 1163--1169. https:\/\/doi.org\/10.1145\/"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03928-8_31"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.45.1.0062"},{"key":"e_1_3_2_2_8_1","volume-title":"Modeling Domains and Students with Constraint-Based Modeling","author":"Mitrovic Antonija","unstructured":"Antonija Mitrovic. 2010. Modeling Domains and Students with Constraint-Based Modeling. Springer Berlin Heidelberg, Berlin, Heidelberg, 63--80. https:\/\/doi. org\/10.1007\/978-3-642-14363-2_4"},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education -","volume":"52","author":"Parsons Dale","year":"2006","unstructured":"Dale Parsons and Patricia Haden. 2006. Parson's Programming Puzzles: A Fun and Effective Learning Tool for First Programming Courses. In Proceedings of the 8th Australasian Conference on Computing Education - Volume 52 (Hobart, Australia) (ACE '06). Australian Computer Society, Inc., AUS, 157--163."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/ceps.1997.0959"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8624.2006.00852.x"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v34i3.2485"},{"key":"e_1_3_2_2_14_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","unstructured":"Michael Sipser. 2013. Introduction to the Theory of Computation (third ed.). Course Technology, Boston, MA."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.18260\/p.24575"},{"key":"e_1_3_2_2_16_1","volume-title":"Seventh SPLICE Workshop at SIGCSE.","author":"West Matthew","year":"2021","unstructured":"Matthew West, Nathan Walters, Mariana Silva, Timothy Bretl, and Craig Zilles. 2021. Integrating Diverse Learning Tools using the PrairieLearn Platform. In Seventh SPLICE Workshop at SIGCSE."},{"key":"e_1_3_2_2_17_1","unstructured":"Jason Xia. 2022. Scaffolded CFG-based Writing Tool Demo. https:\/\/scaffoldedwriting.pythonanywhere.com."}],"event":{"name":"SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education","location":"Toronto ON Canada","acronym":"SIGCSE 2023","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3545945.3569728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:59Z","timestamp":1750183799000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,2]]},"references-count":17,"alternative-id":["10.1145\/3545945.3569728","10.1145\/3545945"],"URL":"https:\/\/doi.org\/10.1145\/3545945.3569728","relation":{},"subject":[],"published":{"date-parts":[[2023,3,2]]},"assertion":[{"value":"2023-03-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}