Neural Network Verification using Partial Multi-Neuron Relaxation

Ido Shmuel, Guy Katz

The increasing integration of deep neural networks in critical systems has spawned a theoretical and practical interest in formally guaranteeing safety properties about their behav…