activity
20222026
most citedPeer Reviews of Peer Reviews: A Randomized Controlled Trial and Other Experiments

7 citations · 16 across the 9 of their papers we have counts for

collaborators
Showing cs.CYShow all

1 paper · 1 filter

cs.CY2025

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

Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg +1

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 specific…