Sign in
Yiannis Charalambous
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Statistical Language Modeling
Formal Verification
Language Modelling
Automated Verification
Top Venues
CoRR
</>
Publications
</>
Yiannis Charalambous
,
Norbert Tihanyi
,
Ridhi Jain
,
Youcheng Sun
,
Mohamed Amine Ferrag
,
Lucas C. Cordeiro
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
CoRR
(2023)