Skip to main content

Showing 1–3 of 3 results for author: Prol, D

Searching in archive cs. Search in all archives.
.
  1. arXiv:2504.18691  [pdf, other

    cs.HC cs.AI cs.SE

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

    Authors: Ali Alfageeh, Sadegh AlMahdi Kazemi Zarkouei, Daye Nam, Daniel Prol, Matin Amoozadeh, Souti Chattopadhyay, James Prather, Paul Denny, Juho Leinonen, Michael Hilton, Sruti Srinivasa Ragavan, Mohammad Amin Alipour

    Abstract: 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 craft prompts to solve computational tasks. Prior research has used both qualitative and quantitative methods to analyze prompting behavior, but these approaches lack scalability or fail to effectively capture the semant… ▽ More

    Submitted 25 April, 2025; originally announced April 2025.

  2. arXiv:2501.11935  [pdf, other

    cs.HC cs.AI

    To Google or To ChatGPT? A Comparison of CS2 Students' Information Gathering Approaches and Outcomes

    Authors: Aayush Kumar, Daniel Prol, Amin Alipour, Sruti Srinivasa Ragavan

    Abstract: LLMs such as ChatGPT have been widely adopted by students in higher education as tools for learning programming and related concepts. However, it remains unclear how effective students are and what strategies students use while learning with LLMs. Since the majority of students' experiences in online self-learning have come through using search engines such as Google, evaluating AI tools in this c… ▽ More

    Submitted 22 March, 2025; v1 submitted 21 January, 2025; originally announced January 2025.

  3. arXiv:2407.00305  [pdf, other

    cs.HC

    Student-AI Interaction: A Case Study of CS1 students

    Authors: Matin Amoozadeh, Daye Nam, Daniel Prol, Ali Alfageeh, James Prather, Michael Hilton, Sruti Srinivasa Ragavan, Mohammad Amin Alipour

    Abstract: 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 conversations, and receive (mostly) good-quality answers. These systems can support students' learning objectives by providing accessible explanations and examples even with vague queries. At the same time, they can encourage und… ▽ More

    Submitted 10 October, 2024; v1 submitted 29 June, 2024; originally announced July 2024.

    Comments: Koli Calling 2024