PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier

Haitham Khedr, James Ferlez, Yasser Shoukry

Neural Networks (NNs) have increasingly apparent safety implications commensurate with their proliferation in real-world applications: both unanticipated as well as adversarial mis…