The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification

Conference:

Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis. (2023). 19th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2023). Association for Computing Machinery, New York, NY, USA, 33–43. https://doi.org/10.1145/3617555.3617874.

Conference paper

Zenodo (link: https://zenodo.org/records/10725896)