Cite
Notes
Only stored in your browser.
Attribution
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
arXiv 2023
from 1 papers
Lucas C. Cordeiro
Mohamed Amine Ferrag
Norbert Tihanyi
Ridhi Jain
Youcheng Sun