{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T20:30:39Z","timestamp":1773520239208,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"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.3777358","type":"proceedings-article","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:18:26Z","timestamp":1770995906000},"page":"1335-1336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Viability of Large Language Models as CS Theory Tutors"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-8598-3252","authenticated-orcid":false,"given":"Wolfgang","family":"Frable","sequence":"first","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7145-4523","authenticated-orcid":false,"given":"Alexander","family":"Trevino","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","doi-asserted-by":"publisher","DOI":"10.1145\/3724389.3730783"},{"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\/3649165.3690116"},{"key":"e_1_3_2_1_4_1","volume-title":"Hwajung Hong, Moontae Lee, and Juho Kim.","author":"Shin Hyungyu","year":"2025","unstructured":"Hyungyu Shin, Jingyu Tang, Yoonjoo Lee, Nayoung Kim, Hyunseung Lim, Ji Yong Cho, Hwajung Hong, Moontae Lee, and Juho Kim. 2025. Mind the Blind Spots: A Focus-Level Evaluation Framework for LLM Reviews. arXiv:2502.17086 [cs.CL] https:\/\/arxiv.org\/abs\/2502.17086"},{"key":"e_1_3_2_1_5_1","unstructured":"Michael Sipser. 2013. Introduction to the theory of computation. Cengage Learning."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3561833.3561840"},{"key":"e_1_3_2_1_7_1","volume-title":"Formal mathematical reasoning: A new frontier in ai. arXiv preprint arXiv:2412.16075","author":"Yang Kaiyu","year":"2024","unstructured":"Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, and Dawn Song. 2024. Formal mathematical reasoning: A new frontier in ai. arXiv preprint arXiv:2412.16075 (2024)."}],"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.3777358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:20:02Z","timestamp":1773508802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3770761.3777358"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,17]]},"references-count":7,"alternative-id":["10.1145\/3770761.3777358","10.1145\/3770761"],"URL":"https:\/\/doi.org\/10.1145\/3770761.3777358","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"}}]}}