FormAI
Emerging4papers using it
2023first seen
Papers using FormAI (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