Abstract
In this paper, we propose PEREGRiNN, an algorithm for efficiently and formally verifying the input/output behavior of ReLU NNs.
Type
Publication
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
In this paper, we propose PEREGRiNN, an algorithm for efficiently and formally verifying the input/output behavior of ReLU NNs.