Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis. The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification. In Shane McIntosh, Eunjong Choi, Steffen Herbold, editors, Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering, PROMISE 2023, San Francisco, CA, USA, 8 December 2023. pages 33-43, ACM, 2023. [doi]
Abstract is missing.