TY - RPRT TI - From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions AU - Ali Alfageeh AU - Sadegh AlMahdi Kazemi Zarkouei AU - Daye Nam AU - Daniel Prol AU - Matin Amoozadeh AU - Souti Chattopadhyay AU - James Prather AU - Paul Denny AU - Juho Leinonen AU - Michael Hilton AU - Sruti Srinivasa Ragavan AU - Mohammad Amin Alipour PY - 2025 UR - https://arxiv.org/abs/2504.18691 ID - 2504.18691 ER -