ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2502.07789
43
0

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

20 January 2025
Alfredo Capozucca
Daniil Yampolskyi
Alexander Goldberg
Maximiliano Cristiá
ArXivPDFHTML
Abstract

This paper investigates the role of AI assistants, specifically OpenAI's ChatGPT, in teaching formal methods (FM) to undergraduate students, using the B-method as a formal specification technique. While existing studies demonstrate the effectiveness of AI in coding tasks, no study reports on its impact on formal specifications. We examine whether ChatGPT provides an advantage when writing B-specifications and analyse student trust in its outputs. Our findings indicate that the AI does not help students to enhance the correctness of their specifications, with low trust correlating to better outcomes. Additionally, we identify a behavioural pattern with which to interact with ChatGPT which may influence the correctness of B-specifications.

View on arXiv
@article{capozucca2025_2502.07789,
  title={ Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method },
  author={ Alfredo Capozucca and Daniil Yampolskyi and Alexander Goldberg and Maximiliano Cristiá },
  journal={arXiv preprint arXiv:2502.07789},
  year={ 2025 }
}
Comments on this paper