FormAI
Emerging4papers using it
2023first seen
Papers using FormAI (4)
- SecureFalcon: Are We There Yet in Automated Software Vulnerability
Detection with LLMs?How secure is AI-generated Code: A Large-Scale Comparison of Large Language ModelsA New Era in Software Security: Towards Self-Healing Software via Large
Language Models and Formal VerificationThe FormAI Dataset: Generative AI in Software Security Through the Lens
of Formal Verification