Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels.
Wenjie WanZhaodi ZhangYiwei ZhuMin ZhangFu SongPublished in: CoRR (2020)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- class labels
- multi label
- fault diagnosis
- genetic algorithm
- neural nets
- feed forward
- computational efficiency
- back propagation
- pairwise
- training data
- fuzzy logic
- multilayer perceptron
- recurrent neural networks
- target tracking
- target detection
- asynchronous circuits
- support vector
- fuzzy systems
- moving target
- rule extraction
- multi label classification
- signature verification
- high robustness