A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Paper
•
2305.14752
•
Published
•
1
Yiannis Charalambous
Yiannis128
·
AI & ML interests
LLMs
Organizations
None yet
authored
a
paper
over 1 year ago