Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation.
Matthias HeinMaksym AndriushchenkoPublished in: NIPS (2017)
Keyphrases
- training data
- classification process
- manually labeled training data
- feature space
- training set
- classification scheme
- training samples
- classification algorithm
- classifier systems
- learning phase
- formal specification
- formal model
- learning algorithm
- class labels
- support vector machine
- learning classifier systems
- feature selection
- label noise
- decision trees
- training examples
- computational efficiency
- classification method
- ensemble learning
- feature set
- support vector
- multi agent
- classifier ensemble
- knowledge base
- decision tree classifiers
- data miner
- input data
- svm classifier