DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification.
Julien Girard-SatabinAymeric VarasseMarc SchoenauerGuillaume CharpiatZakaria ChihaniPublished in: CoRR (2021)
Keyphrases
- input space
- neural network
- high dimensional
- feature space
- dimensionality reduction
- low dimensional
- kernel function
- data points
- k nearest neighbor
- artificial neural networks
- pattern recognition
- output space
- linearly separable
- regression problems
- convex hull
- class labels
- back propagation
- linear combination
- graphical models
- small number
- knn
- data mining