Robustness Verification of Support Vector Machines.
Francesco RanzatoMarco ZanellaPublished in: SAS (2019)
Keyphrases
- support vector
- learning machines
- large margin classifiers
- classification accuracy
- svm classifier
- support vector machine
- model checking
- soft margin
- kernel methods
- cross validation
- loss function
- logistic regression
- social networks
- training examples
- hyperplane
- generalization ability
- pairwise
- multi class classification
- formal methods
- asynchronous circuits
- verification method
- data mining
- computational efficiency
- special case
- linear discriminant analysis
- support vector regression
- decision trees