Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation.
Matthias HeinMaksym AndriushchenkoPublished in: CoRR (2017)
Keyphrases
- training data
- decision trees
- support vector
- support vector machine
- label noise
- classification algorithm
- class labels
- feature selection
- classifier systems
- computational efficiency
- data sets
- training samples
- training examples
- classification scheme
- training process
- classification method
- learning classifier systems
- formal methods
- bayesian classifier
- multiple classifiers
- svm classifier
- feature space
- formal model
- classification rate
- labeled data
- classification process
- text classifiers
- text classification
- input data
- classifier ensemble
- nearest neighbor classifier
- theoretical guarantees
- multi agent
- data miner
- genetic algorithm