A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (CoRR, 2023)

Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (Zenodo, 2023)

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. - Víctor A. Braberman; Flavia Bonomo-Braberman; Yiannis Charalambous; Juan Gabriel Colonna; Lucas C. Cordeiro; Rosiane de Freitas (CoRR, 2024)

Automated Repair of AI Code with Large Language Models and Formal Verification. - Yiannis Charalambous; Edoardo Manino; Lucas C. Cordeiro (CoRR, 2024)

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 (AST@ICSE, 2025)