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…