no code implementations • 14 May 2024 • Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
Then, we verify the memory safety of the mutated neural network implementations with ESBMC, a state-of-the-art software verifier.
no code implementations • 14 Apr 2024 • Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna, Lucas C. Cordeiro, Rosiane de Freitas
Prompting has become one of the main approaches to leverage emergent capabilities of Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al. NeurIPS 2022].
1 code implementation • 24 May 2023 • Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
In this paper we present a novel solution that combines the capabilities of Large Language Models (LLMs) with Formal Verification strategies to verify and automatically repair software vulnerabilities.