@misc{indiciaeef33f368edb8,
  title = {The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification},
  author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
  year = {2024},
  doi = {10.1145/3617555.3617874},
  url = {https://arxiv.org/abs/2307.02192},
  note = {Source identifier: 2307.02192}
}