Buchumschlag

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Capozucca, Alfredo, Yampolskyi, Daniil, Goldberg, Alexander, Cristiá, Maximiliano
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computers and Society Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning-by-teaching with ChatGPT: The effect of teachable ChatGPT agent on programming education
von: Chen, Angxuan, et al.
Veröffentlicht: (2024)

Generative AI Adoption in Postsecondary Education, AI Hype, and ChatGPT's Launch
von: Pedersen, Isabel
Veröffentlicht: (2025)

The Social Impact of Generative AI: An Analysis on ChatGPT
von: Baldassarre, Maria T., et al.
Veröffentlicht: (2024)

Setting the AI Agenda -- Evidence from Sweden in the ChatGPT Era
von: Bruinsma, Bastiaan, et al.
Veröffentlicht: (2024)

Ethical ChatGPT: Concerns, Challenges, and Commandments
von: Zhou, Jianlong, et al.
Veröffentlicht: (2023)

Is ChatGPT Massively Used by Students Nowadays? A Survey on the Use of Large Language Models such as ChatGPT in Educational Settings
von: Sublime, Jérémie, et al.
Veröffentlicht: (2024)

Fairness of ChatGPT
von: Li, Yunqi, et al.
Veröffentlicht: (2023)

AI-exposed jobs deteriorated before ChatGPT
von: Frank, Morgan R., et al.
Veröffentlicht: (2026)

Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
von: Das, Surajit, et al.
Veröffentlicht: (2025)

The Role of AI in Financial Forecasting: ChatGPT's Potential and Challenges
von: Bi, Shuochen, et al.
Veröffentlicht: (2024)

ChatGPT as speechwriter for the French presidents
von: Labbé, Dominique, et al.
Veröffentlicht: (2024)

Dissecting Bias of ChatGPT in College Major Recommendations
von: Zheng, Alex
Veröffentlicht: (2023)

Between Search and Platform: ChatGPT Under the DSA
von: Lorente, Toni, et al.
Veröffentlicht: (2026)

Geography According to ChatGPT -- How Generative AI Represents and Reasons about Geography
von: Janowicz, Krzysztof, et al.
Veröffentlicht: (2026)

How Prevalent is Gender Bias in ChatGPT? -- Exploring German and English ChatGPT Responses
von: Urchs, Stefanie, et al.
Veröffentlicht: (2023)

Wayfinding through the AI wilderness: Mapping rhetorics of ChatGPT prompt writing on X (formerly Twitter) to promote critical AI literacies
von: Gupta, Anuj, et al.
Veröffentlicht: (2025)

Enhancing Supply Chain Resilience with Metaverse and ChatGPT Technologies
von: Sarhir, Oumaima
Veröffentlicht: (2025)

Bias in Decision-Making for AI's Ethical Dilemmas: A Comparative Study of ChatGPT and Claude
von: Xu, Wentao, et al.
Veröffentlicht: (2025)

Assessing Greenspace Attractiveness with ChatGPT, Claude, and Gemini: Do AI Models Reflect Human Perceptions?
von: Malekzadeh, Milad, et al.
Veröffentlicht: (2025)

Can generative AI and ChatGPT outperform humans on cognitive-demanding problem-solving tasks in science?
von: Zhai, Xiaoming, et al.
Veröffentlicht: (2024)

AuditGPT: Auditing Smart Contracts with ChatGPT
von: Xia, Shihao, et al.
Veröffentlicht: (2024)

Ethical Implications of ChatGPT in Higher Education: A Scoping Review
von: Li, Ming, et al.
Veröffentlicht: (2023)

A ChatGPT-based approach for questions generation in higher education
von: Vu, Sinh Trong, et al.
Veröffentlicht: (2025)

Revolutionising Role-Playing Games with ChatGPT
von: Stampfl, Rita, et al.
Veröffentlicht: (2024)

The AI Companion in Education: Analyzing the Pedagogical Potential of ChatGPT in Computer Science and Engineering
von: He, Zhangying, et al.
Veröffentlicht: (2024)

RogueGPT: dis-ethical tuning transforms ChatGPT4 into a Rogue AI in 158 Words
von: Buscemi, Alessio, et al.
Veröffentlicht: (2024)

Pedagogical Promise and Peril of AI: A Text Mining Analysis of ChatGPT Research Discussions in Programming Education
von: Grume, Juvy C., et al.
Veröffentlicht: (2026)

The Lazy Student's Dream: ChatGPT Passing an Engineering Course on Its Own
von: Puthumanaillam, Gokul, et al.
Veröffentlicht: (2025)

Potential Societal Biases of ChatGPT in Higher Education: A Scoping Review
von: Li, Ming, et al.
Veröffentlicht: (2023)

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
von: Borges, Beatriz, et al.
Veröffentlicht: (2024)

Exploring ChatGPT and its Impact on Society
von: Haque, Md. Asraful, et al.
Veröffentlicht: (2024)

ChatGPT in Classrooms: Transforming Challenges into Opportunities in Education
von: Munawar, Harris Bin, et al.
Veröffentlicht: (2024)

Can AI be a Teaching Partner? Evaluating ChatGPT, Gemini, and DeepSeek across Three Teaching Strategies
von: de Souza, Talita de Paula Cypriano, et al.
Veröffentlicht: (2026)

Generative AI Impact on Labor Market: Analyzing ChatGPT's Demand in Job Advertisements
von: Ahmadi, Mahdi, et al.
Veröffentlicht: (2024)

Chat-GPT: An AI Based Educational Revolution
von: Maric, Sasa, et al.
Veröffentlicht: (2025)

Are ChatGPT and Other Similar Systems the Modern Lernaean Hydras of AI?
von: Ioannidis, Dimitrios, et al.
Veröffentlicht: (2023)

A Linguistic Comparison between Human and ChatGPT-Generated Conversations
von: Sandler, Morgan, et al.
Veröffentlicht: (2024)

Investigation of the effectiveness of applying ChatGPT in Dialogic Teaching Using Electroencephalography
von: Zhang, Jiayue, et al.
Veröffentlicht: (2024)

Evaluating the Performance of ChatGPT for Spam Email Detection
von: Si, Shijing, et al.
Veröffentlicht: (2024)

The Impact of Artificial Intelligence on the Evolution of Digital Education: A Comparative Study of OpenAI Text Generation Tools including ChatGPT, Bing Chat, Bard, and Ernie
von: Motlagh, Negin Yazdani, et al.
Veröffentlicht: (2023)