2 papers
cs.HC2025
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
Ali Alfageeh, Sadegh AlMahdi Kazemi Zarkouei, Daye Nam +9
Background and Context. The increasing integration of large language models (LLMs) in computing education presents an emerging challenge in understanding how students use LLMs and…
cs.HC2024
Student-AI Interaction: A Case Study of CS1 students
Matin Amoozadeh, Daye Nam, Daniel Prol +5
The new capabilities of generative artificial intelligence tools Generative AI, such as ChatGPT, allow users to interact with the system in intuitive ways, such as simple conversat…