팔로우
Yiannis Charalambous
Yiannis Charalambous
Casual Research Assistant, University of Manchester
student.manchester.ac.uk의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–3