96 citations · 99 across the 11 of their papers we have counts for
3 papers · 1 filter
Efficiently Finding Adversarial Examples with DNN Preprocessing
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar +3
Deep Neural Networks (DNNs) are everywhere, frequently performing a fairly complex task that used to be unimaginable for machines to carry out. In doing so, they do a lot of decisi…
Tighter Abstract Queries in Neural Network Verification
Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett +1
Neural networks have become critical components of reactive systems in various domains within computer science. Despite their excellent performance, using neural networks entails n…
Neural Network Verification using Residual Reasoning
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
With the increasing integration of neural networks as components in mission-critical systems, there is an increasing need to ensure that they satisfy various safety and liveness re…