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

> Research article (Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering, 2023) · cited 49× · AI/ML

**Wikidata**: [openalex:W4389215044](https://www.wikidata.org/wiki/openalex:W4389215044)  
**Source**: https://4ort.xyz/entity/the-formai-dataset-generative-ai-in-software-security-through-the-lens-of-formal-verification