TY  - RPRT
TI  - Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions
AU  - Tu Anh-Nguyen
AU  - Joey Huchette
PY  - 2022
UR  - https://arxiv.org/abs/2211.14706
ID  - 2211.14706
ER  -