A Unified View of Piecewise Linear Neural Network Verification.
Rudy BunelIlker TurkaslanPhilip H. S. TorrPushmeet KohliPawan Kumar MudigondaPublished in: NeurIPS (2018)
Keyphrases
- piecewise linear
- neural network
- chaotic map
- dynamic programming
- finite sets
- pattern recognition
- back propagation
- neural network model
- artificial neural networks
- genetic algorithm
- principal curves
- model checking
- hyperplane
- data mining
- data sets
- face recognition
- solution path
- dimensionality reduction
- nearest neighbor
- training data
- similarity measure