{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T20:30:08Z","timestamp":1773520208779,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,18]]},"DOI":"10.1145\/3770761.3777261","type":"proceedings-article","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:18:26Z","timestamp":1770995906000},"page":"1311-1312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Efficacy of Using Large Language Models for Automatic Grading of CS Theory Problems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5879-5987","authenticated-orcid":false,"given":"Nikolas","family":"Dykstra","sequence":"first","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6349-0498","authenticated-orcid":false,"given":"Reid","family":"Wesley","sequence":"additional","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1739-1127","authenticated-orcid":false,"given":"Ryan E.","family":"Dougherty","sequence":"additional","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rajeev Alur Loris D'Antoni Sumit Gulwani and Dileep Kini. 2013. Automated Grading of DFA constructions. In IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence (ijcai '13 proceedings of the twenty-third international joint conference on artificial intelligence ed.). 1976-1982. https:\/\/www.microsoft.com\/en-us\/research\/publication\/automated-grading-dfa-constructions\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649409.3691070"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653599"},{"key":"e_1_3_2_1_4_1","unstructured":"Michael Sipser. 2013. Introduction to the theory of computation. Cengage Learning."}],"event":{"name":"SIGCSE TS 2026:The 57th ACM Technical Symposium on Computer Science Education","location":"St. Louis MO USA","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3770761.3777261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:19:07Z","timestamp":1773508747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3770761.3777261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,17]]},"references-count":4,"alternative-id":["10.1145\/3770761.3777261","10.1145\/3770761"],"URL":"https:\/\/doi.org\/10.1145\/3770761.3777261","relation":{},"subject":[],"published":{"date-parts":[[2026,2,17]]},"assertion":[{"value":"2026-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}