Login / Signup
Yiannis Charalambous
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Language Models For Information Retrieval
Language Modelling
Formal Verification
Symbolic Model Checking
Top Venues
CoRR
</>
Publications
</>
Víctor A. Braberman
,
Flavia Bonomo-Braberman
,
Yiannis Charalambous
,
Juan Gabriel Colonna
,
Lucas C. Cordeiro
,
Rosiane de Freitas
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.
CoRR
(2024)
Yiannis Charalambous
,
Edoardo Manino
,
Lucas C. Cordeiro
Automated Repair of AI Code with Large Language Models and Formal Verification.
CoRR
(2024)
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)