Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions

no code implementations • 27 Nov 2022 • Tu Anh-Nguyen, Joey Huchette

We derive a \emph{strong formulation} for each neuron in a network using piecewise linear activation functions.