팔로우
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
Y Charalambous, N Tihanyi, R Jain, Y Sun, MA Ferrag, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
252023
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
2024
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–2