中文
相关论文

相关论文: Do AI assistants help students write formal specif…

200 篇论文

Writing literature reviews is a common component of university curricula, yet it often poses challenges for students. Since generative artificial intelligence (GenAI) tools have been made publicly accessible, students have been employing…

Timely, personalized feedback is essential for students learning programming. LLM-powered tools like ChatGPT offer instant support, but reveal direct answers with code, which may hinder deep conceptual engagement. We developed CodeAid, an…

Generative Artificial Intelligence (AI) models such as OpenAI's ChatGPT have the potential to revolutionize Statistical Process Control (SPC) practice, learning, and research. However, these tools are in the early stages of development and…

机器学习 · 计算机科学 2023-06-19 Fadel M. Megahed , Ying-Ju Chen , Joshua A. Ferris , Sven Knoth , L. Allison Jones-Farmer

LLM-based chatbots enable students to get immediate, interactive help on homework assignments, but even a thoughtfully-designed bot may not serve all pedagogical goals. We report here on the development and deployment of a GPT-4-based…

计算机与社会 · 计算机科学 2024-12-03 J. D. Zamfirescu-Pereira , Laryn Qi , Björn Hartmann , John DeNero , Narges Norouzi

Formal software specification is known to enable early error detection and explicit invariants, yet it has seen limited industrial adoption due to its high notation overhead and the expertise required to use traditional formal languages.…

软件工程 · 计算机科学 2026-01-16 Antonio Abu Nassar , Eitan Farchi

This study aimed to determine if ChatGPT's large language models could match the scoring accuracy of human and machine scores from the ASAP competition. The investigation focused on various prediction models, including linear regression,…

计算与语言 · 计算机科学 2024-08-20 Mark D. Shermis

This study evaluates the performance of general-purpose AI, like ChatGPT, in legal question-answering tasks, highlighting significant risks to legal professionals and clients. It suggests leveraging foundational models enhanced by…

人工智能 · 计算机科学 2024-04-19 Rohan Bhambhoria , Samuel Dahan , Jonathan Li , Xiaodan Zhu

Building on prior research on Generative AI (GenAI) and related tools for programming education, we developed SCRIPT, a chatbot based on ChatGPT-4o-mini, to support novice learners. SCRIPT allows for open-ended interactions and structured…

人工智能 · 计算机科学 2025-07-24 Andreas Scholl , Natalie Kiesler

Large Language Models (LLMs) are becoming increasingly competent across various domains, educators are showing a growing interest in integrating these LLMs into the learning process. Especially in software engineering, LLMs have…

软件工程 · 计算机科学 2025-02-04 Agrawal Naman , Ridwan Shariffdeen , Guanlin Wang , Sanka Rasnayaka , Ganesh Neelakanta Iyer

With the growing use of artificial intelligence in classrooms and online learning, it has become important to understand how students actually interact with AI tools and how such interactions match with traditional ways of learning. In this…

应用统计 · 统计学 2025-12-02 Prathamesh Muzumdar , Sumanth Cheemalapati

Providing individualized scaffolding for physics problem solving at scale remains an instructional challenge. We investigate (1) students' perceptions of a Socratic Artificial Intelligence (AI) chatbot's impact on problem-solving skills and…

物理教育 · 物理学 2025-08-21 Syed Furqan Abbas Hashmi , N. Sanjay Rebello

Since its launch in late 2022, ChatGPT has ignited widespread interest in Large Language Models (LLMs) and broader Artificial Intelligence (AI) solutions. As this new wave of AI permeates various sectors of society, we are continually…

计算机与社会 · 计算机科学 2025-09-18 Juho Vepsäläinen , Petri Juntunen

The growing use of generative AI tools like ChatGPT has raised urgent concerns about their impact on student learning, particularly the potential erosion of critical thinking and creativity. As students increasingly turn to these tools to…

计算机与社会 · 计算机科学 2025-04-01 Muhammad Sajjad Akbar

The character of the "AI assistant" persona generated by modern chatbot large language models influences both surface-level behavior and apparent values, beliefs, and ethics. These all affect interaction quality, perceived intelligence, and…

计算与语言 · 计算机科学 2025-11-04 Sharan Maiya , Henning Bartsch , Nathan Lambert , Evan Hubinger

Large language models (LLMs) such as OpenAI's ChatGPT hold potential for automating engineering analysis, yet their reliability in solving multi-step statics problems remains uncertain. This study evaluates the performance of ChatGPT-4o and…

计算工程、金融与科学 · 计算机科学 2025-02-04 Benjamin Hope , Jayden Bracey , Sahar Choukir , Derek Warner

This paper presents a comprehensive investigation into the capability of Large Language Models (LLMs) to successfully complete a semester-long undergraduate control systems course. Through evaluation of 115 course deliverables, we assess…

计算机与社会 · 计算机科学 2025-05-19 Gokul Puthumanaillam , Timothy Bretl , Melkior Ornik

Artificial Intelligence (AI) is becoming more and more popular as time passes, allowing to perform tasks that were difficult to do in the past. From predictions to customization, AI is being used in many areas, not being educational…

计算机与社会 · 计算机科学 2023-10-16 David Roldán-Álvarez

Evaluating the capabilities of Large Language Models (LLMs) to assist teachers and students in educational tasks is receiving increasing attention. In this paper, we assess ChatGPT's capacities to solve and grade real programming exams,…

人工智能 · 计算机科学 2025-03-21 Pablo Saborido-Fernández , Marcos Fernández-Pichel , David E. Losada

In this position paper, we advocate for the idea that courses and exams in the AI era have to be designed based on two factors: (1) the strengths and limitations of AI, and (2) the pedagogical educational objectives. Based on insights from…

计算机与社会 · 计算机科学 2023-08-07 Ahmad Samer Wazan , Imran Taj , Abdulhadi Shoufan , Romain Laborde , Rémi Venant

Recent advances in generative pre-trained transformer large language models have emphasised the potential risks of unfair use of artificial intelligence (AI) generated content in an academic environment and intensified efforts in searching…