Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.
Mykhailo IvashchenkoSung Woo ChoiLuan Viet NguyenHoang-Dung TranPublished in: FormaliSE (2023)
Keyphrases
- input space
- neural network
- dimensionality reduction
- feature space
- kernel function
- hyperplane
- regression problems
- class labels
- high dimensional data
- input data
- pattern recognition
- receptive fields
- high dimensional
- low dimensional
- k nearest neighbor
- data points
- training set
- support vector
- computer vision
- back propagation
- state space
- artificial neural networks
- knn
- multi layer perceptron
- linearly separable