Ikuti
Yiannis Charalambous
Yiannis Charalambous
Casual Research Assistant, University of Manchester
Email yang diverifikasi di student.manchester.ac.uk - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
A new era in software security: Towards self-healing software via large language models and formal verification
N Tihanyi, R Jain, Y Charalambous, MA Ferrag, Y Sun, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
722023
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
VA Braberman, F Bonomo-Braberman, Y Charalambous, JG Colonna, ...
arXiv preprint arXiv:2404.09384, 2024
52024
Automated Repair of AI Code with Large Language Models and Formal Verification
Y Charalambous, E Manino, LC Cordeiro
arXiv preprint arXiv:2405.08848, 2024
22024
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–3