Search Results for author: Fabio Cappellini

Found 1 papers, 0 papers with code

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification

no code implementations25 Mar 2024 Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini

This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper.

Cannot find the paper you are looking for? You can Submit a new open access paper.