Robustness Verification of Support Vector Machines.
Francesco RanzatoMarco ZanellaPublished in: CoRR (2019)
Keyphrases
- support vector
- large margin classifiers
- learning machines
- logistic regression
- cross validation
- feature selection
- classification accuracy
- formal analysis
- kernel function
- model checking
- kernel methods
- decision function
- generalization ability
- database
- computational efficiency
- digital images
- support vector machine
- linear discriminant analysis
- hyperplane
- multi class classification
- maximum margin
- multi class
- generalization bounds
- soft margin
- high robustness
- genetic algorithm