LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions

Brandon Paulsen, Chao Wang

The most scalable approaches to certifying neural network robustness depend on computing sound linear lower and upper bounds for the network's activation functions. Current approac…