Cover Image

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alfageeh, Ali, Zarkouei, Sadegh AlMahdi Kazemi, Nam, Daye, Prol, Daniel, Amoozadeh, Matin, Chattopadhyay, Souti, Prather, James, Denny, Paul, Leinonen, Juho, Hilton, Michael, Ragavan, Sruti Srinivasa, Alipour, Mohammad Amin
Format:	Preprint
Published:	2025
Subjects:	Human-Computer Interaction Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Student-AI Interaction: A Case Study of CS1 students
by: Amoozadeh, Matin, et al.
Published: (2024)

Trust in Generative AI among students: An Exploratory Study
by: Amoozadeh, Matin, et al.
Published: (2023)

To Google or To ChatGPT? A Comparison of CS2 Students' Information Gathering Approaches and Outcomes
by: Kumar, Aayush, et al.
Published: (2025)

Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots
by: Ragavan, Sruti Srinivasa, et al.
Published: (2024)

Observing Without Doing: Pseudo-Apprenticeship Patterns in Student LLM Use
by: Hak, Jade, et al.
Published: (2025)

Capturing the Effects of Quantization on Trojans in Code LLMs
by: Hussain, Aftab, et al.
Published: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

CS Educator challenges and their solutions : A systematic mapping study
by: Chouhan, Anjali, et al.
Published: (2025)

A Measure Based Generalizable Approach to Understandability
by: Kushwaha, Vikas, et al.
Published: (2025)

"Sometimes You Just Gotta Risk It for the Biscuit": A Portrait of Student Risk-Taking
by: Leinonen, Juho, et al.
Published: (2024)

Probing the Unknown: Exploring Student Interactions with Probeable Problems at Scale in Introductory Programming
by: Denny, Paul, et al.
Published: (2025)

Breaking the Programming Language Barrier: Multilingual Prompting to Empower Non-Native English Learners
by: Prather, James, et al.
Published: (2024)

Fast and Forgettable: A Controlled Study of Novices' Performance, Learning, Workload, and Emotion in AI-Assisted and Human Pair Programming Paradigms
by: Gardella, Nicholas, et al.
Published: (2026)

Trust in AI among Middle Eastern CS Students: Investigating Students' Trust and Usage Patterns Across Saudi Arabia, Kuwait and Jordan
by: Alkhamees, Saleh, et al.
Published: (2026)

Risk Management for Mitigating Benchmark Failure Modes: BenchRisk
by: McGregor, Sean, et al.
Published: (2025)

A Tale of Two Communities: Exploring Academic References on Stack Overflow
by: Huang, Run, et al.
Published: (2024)

Using Large Language Models to Enhance Programming Error Messages
by: Leinonen, Juho, et al.
Published: (2022)

Explaining Code with a Purpose: An Integrated Approach for Developing Code Comprehension and Prompting Skills
by: Denny, Paul, et al.
Published: (2024)

Evaluating Contextually Personalized Programming Exercises Created with Generative AI
by: Logacheva, Evanfiya, et al.
Published: (2024)

RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization
by: Bao, Qiming, et al.
Published: (2026)

The Impact of Generative AI on the Perpetuation and Detection of Greenwashing in Sustainability Reports: Insights From an Experiment
by: Ruth Dimes, et al.
Published: (2026)

Interleaving Natural Language Prompting with Code Editing for Solving Programming Tasks with Generative AI Models
by: Pădurean, Victor-Alexandru, et al.
Published: (2025)

Prompts First, Finally
by: Reeves, Brent N., et al.
Published: (2024)

Integrating Natural Language Prompting Tasks in Introductory Programming Courses
by: Kerslake, Chris, et al.
Published: (2024)

"Like Taking the Path of Least Resistance": Exploring the Impact of LLM Interaction on the Creative Process of Programming
by: Saghi, Zeinabsadat, et al.
Published: (2026)

Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
by: Eibl, Philipp, et al.
Published: (2025)

SPIRAL integration of generative AI in an undergraduate creative media course: effects on self-efficacy and career outcome expectations
by: Schotter, Troy, et al.
Published: (2025)

Open Source Language Models Can Provide Feedback: Evaluating LLMs' Ability to Help Students Using GPT-4-As-A-Judge
by: Koutcheme, Charles, et al.
Published: (2024)

Benchmarking Educational Program Repair
by: Koutcheme, Charles, et al.
Published: (2024)

Unlearning Trojans in Large Language Models: A Comparison Between Natural Language and Source Code
by: Kazemi, Mahdi, et al.
Published: (2024)

CNN Autoencoder Resizer: A Power-Efficient LoS/NLoS Detector in MIMO-enabled UAV Networks
by: Akhtarshenas, Azim, et al.
Published: (2024)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

Beyond the Prompt: An Empirical Study of Cursor Rules
by: Jiang, Shaokang, et al.
Published: (2025)

Howzat? Appealing to Expert Judgement for Evaluating Human and AI Next-Step Hints for Novice Programmers
by: Brown, Neil C. C., et al.
Published: (2024)

Synthetic Students: A Comparative Study of Bug Distribution Between Large Language Models and Computing Students
by: MacNeil, Stephen, et al.
Published: (2024)

LLM-itation is the Sincerest Form of Data: Generating Synthetic Buggy Code Submissions for Computing Education
by: Leinonen, Juho, et al.
Published: (2024)

AI-Generated Slides: Are They Good? Can Students Tell?
by: Leinonen, Juho, et al.
Published: (2026)

On the Opportunities of Large Language Models for Programming Process Data
by: Edwards, John, et al.
Published: (2024)

Experiences from Integrating Large Language Model Chatbots into the Classroom
by: Hellas, Arto, et al.
Published: (2024)

Teaching Language Models How to Code Like Learners: Conversational Serialization for Student Simulation
by: Koutcheme, Charles, et al.
Published: (2026)