Yiannis Charalambous

According to our database, Yiannis Charalambous authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automated Repair of AI Code with Large Language Models and Formal Verification.

Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2024

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

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

Dataset, June, 2023

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