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

Open Webpage

Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis

Published: 2023, Last Modified: 22 May 2025PROMISE 2023EveryoneRevisionsBibTeXCC BY-SA 4.0