Login / Signup
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
Wenjie Ruan
Min Wu
Youcheng Sun
Xiaowei Huang
Daniel Kroening
Marta Kwiatkowska
Published in:
CoRR (2018)
Keyphrases
</>
neural network
objective function
pattern recognition
artificial neural networks
fault diagnosis
evaluation method
image processing
support vector
search algorithm
neural network model
feed forward
gold standard
evaluation model
feedforward neural networks
high robustness