A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro

Browse the full AST paper archive.