Robustness Verification of Classification Deep Neural Networks via Linear Programming.
Wang LinZhengfeng YangXin ChenQingye ZhaoXiangkun LiZhiming LiuJifeng HePublished in: CVPR (2019)
Keyphrases
- linear programming
- neural network
- pattern recognition
- classification accuracy
- pattern classification
- classification scheme
- text classification
- learning vector quantization
- artificial neural networks
- feature selection
- classification method
- classification systems
- automatic classification
- feature extraction
- decision trees
- training process
- model selection
- linear program
- classification algorithm
- decision rules
- svm classifier
- unsupervised learning
- fuzzy logic
- dynamic programming
- classification process
- training set
- data sets
- neural nets
- machine learning
- multi layer perceptron
- classification models
- feed forward
- benchmark datasets
- support vector machine svm
- image classification
- supervised learning
- support vector machine
- optimal solution
- feature vectors
- support vector