{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T15:32:02Z","timestamp":1776094322230,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T00:00:00Z","timestamp":1794268800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2225373"],"award-info":[{"award-number":["2225373"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research Council of Finland","award":["356114"],"award-info":[{"award-number":["356114"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,11]]},"DOI":"10.1145\/3769994.3770004","type":"proceedings-article","created":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T16:35:41Z","timestamp":1762446941000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-9106-0433","authenticated-orcid":false,"given":"Ali","family":"Alfageeh","sequence":"first","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5667-7674","authenticated-orcid":false,"given":"Sadegh Almahdi Kazemi","family":"Zarkouei","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3846-6924","authenticated-orcid":false,"given":"Daye","family":"Nam","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6522-4322","authenticated-orcid":false,"given":"Daniel","family":"Prol","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4201-1609","authenticated-orcid":false,"given":"Matin","family":"Amoozadeh","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1644-7344","authenticated-orcid":false,"given":"Souti","family":"Chattopadhyay","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2807-6042","authenticated-orcid":false,"given":"James","family":"Prather","sequence":"additional","affiliation":[{"name":"Abilene Christian University, Abilene, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5150-9806","authenticated-orcid":false,"given":"Paul","family":"Denny","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-9449","authenticated-orcid":false,"given":"Juho","family":"Leinonen","sequence":"additional","affiliation":[{"name":"Aalto University, Espoo, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9195-6902","authenticated-orcid":false,"given":"Michael","family":"Hilton","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6197-2194","authenticated-orcid":false,"given":"Sruti Srinivasa","family":"Ragavan","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6479-7202","authenticated-orcid":false,"given":"Amin","family":"Alipour","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630842"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3699538.3699567"},{"key":"e_1_3_3_1_4_2","unstructured":"Hannah\u00a0McLean Babe Sydney Nguyen Yangtian Zi Arjun Guha Molly\u00a0Q Feldman and Carolyn\u00a0Jane Anderson. 2023. StudentEval: a benchmark of student-written prompts for large language models of code. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2306.04556 (2023)."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3545945.3569823"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630909"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653574"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Paul Denny James Prather Brett\u00a0A Becker James Finnie-Ansley Arto Hellas Juho Leinonen Andrew Luxton-Reilly Brent\u00a0N Reeves Eddie\u00a0Antonio Santos and Sami Sarsa. 2024. Computing education in the era of generative AI. Commun. ACM 67 2 (2024) 56\u201367.","DOI":"10.1145\/3624720"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653587"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Ramtin Ehsani Sakshi Pathak and Preetha Chatterjee. 2025. Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2501.11709 (2025).","DOI":"10.1109\/MSR66628.2025.00107"},{"key":"e_1_3_3_1_11_2","unstructured":"Deborah Etsenake and Meiyappan Nagappan. 2024. Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.01026 (2024)."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Huizi Hao Kazi\u00a0Amit Hasan Hong Qin Marcos Macedo Yuan Tian Steven\u00a0HH Ding and Ahmed\u00a0E Hassan. 2024. An empirical study on developers\u2019 shared conversations with ChatGPT in GitHub pull requests and issues. Empirical Software Engineering 29 6 (2024) 150.","DOI":"10.1007\/s10664-024-10540-x"},{"key":"e_1_3_3_1_13_2","unstructured":"Kartheek Kalluri. 2022. Exploring Zero-Shot and Few-Shot Learning Capabilities in LLMS for Complex Query Handling."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3708359.3712104"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.eval4nlp-1.14"},{"key":"e_1_3_3_1_16_2","unstructured":"JWKJW Kotrlik and CCHCC Higgins. 2001. Organizational research: Determining appropriate sample size in survey research appropriate sample size in survey research. Information technology learning and performance journal 19 1 (2001) 43."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611955"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3587102.3588785"},{"key":"e_1_3_3_1_19_2","unstructured":"Qian Liang Tian Bai Wenting Zhang Congyu Liu Xin Wang Qiaozhu Zhou and Yafeng Zhang. 2023. QualiGPT: GPT as an Easy-to-Use Tool for Qualitative Coding. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2307.05941 (2023)."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.naacl-long.433"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639187"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3641554.3701974"},{"key":"e_1_3_3_1_23_2","unstructured":"James Prather Paul Denny Juho Leinonen David\u00a0H Smith\u00a0IV Brent\u00a0N Reeves Stephen MacNeil Brett\u00a0A Becker Andrew Luxton-Reilly Thezyrie Amarouche and Bailey Kimmel. 2024. Interactions with prompt problems: A new way to teach programming with large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2401.10759 (2024)."},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"James Prather Brent\u00a0N Reeves Paul Denny Brett\u00a0A Becker Juho Leinonen Andrew Luxton-Reilly Garrett Powell James Finnie-Ansley and Eddie\u00a0Antonio Santos. 2023. \u201cIt\u2019s weird that it knows what i want\u201d: Usability and interactions with copilot for novice programmers. ACM transactions on computer-human interaction 31 1 (2023) 1\u201331.","DOI":"10.1145\/3617367"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3632620.3671116"},{"key":"e_1_3_3_1_26_2","unstructured":"Yuan Qin Udo Kruschwitz Paul Rayson Sagar\u00a0J Ghosh and Barbara McGillivray. 2023. LLM-Assisted Content Analysis: Using Large Language Models to Support Deductive Coding. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2305.06598 (2023)."},{"key":"e_1_3_3_1_27_2","unstructured":"Sruti\u00a0Srinivasa Ragavan and Mohammad\u00a0Amin Alipour. 2024. Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2406.04452 (2024)."},{"key":"e_1_3_3_1_28_2","unstructured":"Charles Ren Chen Zhu Linjun Wang Elizabeth Gerber and Jeff Hancock. 2024. Scalable Qualitative Coding with LLMs: Chain-of-Thought Reasoning Matches Human Performance in Some Hermeneutic Tasks. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2401.15170 (2024)."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3501385.3543957"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3657604.3662039"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"Lev Tankelevitch Viktor Kewenig Auste Simkute Ava\u00a0Elizabeth Scott Advait Sarkar Abigail Sellen and Sean Rintel. 2024. The Metacognitive Demands and Opportunities of Generative AI(CHI \u201924). Association for Computing Machinery New York NY USA Article 680 24\u00a0pages. 10.1145\/3613904.3642902","DOI":"10.1145\/3613904.3642902"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3544548.3581388"}],"event":{"name":"Koli Calling '25: 25th Koli Calling International Conference on Computing Education Research","location":"Koli Finland","acronym":"Koli Calling '25"},"container-title":["Proceedings of the 25th Koli Calling International Conference on Computing Education Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3769994.3770004","content-type":"text\/html","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T17:04:17Z","timestamp":1762448657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769994.3770004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":31,"alternative-id":["10.1145\/3769994.3770004","10.1145\/3769994"],"URL":"https:\/\/doi.org\/10.1145\/3769994.3770004","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}