Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions

Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan +3

We present a generalized framework for the range verification of neural networks featuring non-linear activation functions. Our approach first constructs an ``optimized piecewise a…