119 citations · 127 across the 10 of their papers we have counts for
5 papers · 1 filter
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, Guy Katz +2
In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliabilit…
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…
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Haoze Wu, Aleksandar Zeljić, Guy Katz +1
Inspired by sum-of-infeasibilities methods in convex optimization, we propose a novel procedure for analyzing verification queries on neural networks with piecewise-linear activati…
Scenario-Assisted Deep Reinforcement Learning
Raz Yerushalmi, Guy Amir, Achiya Elyasaf +3
Deep reinforcement learning has proven remarkably useful in training agents from unstructured data. However, the opacity of the produced agents makes it difficult to ensure that th…
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark Barrett, Guy Katz
Convolutional neural networks have gained vast popularity due to their excellent performance in the fields of computer vision, image processing, and others. Unfortunately, it is no…