Can ChatGPT support software verification?

4 November 2023

Papers citing "Can ChatGPT support software verification?"

3 / 3 papers shown

Title
Next Steps in LLM-Supported Java Verification Samuel Teuber Bernhard Beckert 68 0 0 03 Feb 2025
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method Alfredo Capozucca Daniil Yampolskyi Alexander Goldberg Maximiliano Cristiá 50 0 0 20 Jan 2025
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 402 12,150 0 04 Mar 2022