Shifting-based Optimizable Linear Relaxations for General Activation Functions

Philipp Kern, László Antal, Erika Ábráham +1

The use of neural networks (NNs) is rapidly increasing, including in safety- and security-critical domains. To provide formal guarantees about NN behavior, many verification method…