119 citations · 468 across the 39 of their papers we have counts for
Showing cs.NEShow all
2 papers · 1 filter
cs.NE2022★ 1 cited
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…
cs.NE2017★ 59 cited
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Divya Gopinath, Guy Katz, Corina S. Pasareanu +1
Deep neural networks have become widely used, obtaining remarkable results in domains such as computer vision, speech recognition, natural language processing, audio recognition, s…