Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions.
Tu Anh-NguyenJoey HuchettePublished in: CoRR (2022)
Keyphrases
- piecewise linear
- neural network
- optimization methods
- chaotic map
- dynamic programming
- convex functions
- binary variables
- regression algorithm
- artificial neural networks
- global optimization
- optimization algorithm
- optimization method
- finite sets
- pattern recognition
- face recognition
- principal curves
- feature vectors
- active learning
- dimensionality reduction
- data sets