@misc{indiciae687656a29cb3,
  title = {Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions},
  author = {Tu Anh-Nguyen and Joey Huchette},
  year = {2022},
  url = {https://arxiv.org/abs/2211.14706},
  note = {Source identifier: 2211.14706}
}