FormAI dataset
Emerging4papers using it
2023first seen
The FormAI dataset is a large collection of 112,000 AI-generated compilable C programs labeled with vulnerability classifications, used to evaluate software security through formal verification methods.
Papers using FormAI dataset (4)
- SecureFalcon: Are We There Yet in Automated Software Vulnerability
Detection with LLMs?A New Era in Software Security: Towards Self-Healing Software via Large
Language Models and Formal VerificationHow secure is AI-generated Code: A Large-Scale Comparison of Large
Language ModelsThe FormAI Dataset: Generative AI in Software Security Through the Lens
of Formal Verification