C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
Wenjie Ruan
Min Wu
Youcheng Sun
Xiaowei Huang
Daniel Kroening
Marta Kwiatkowska
Published in:
IJCAI (2019)
Keyphrases
</>
hamming distance
neural network
binary strings
pattern recognition
pattern matching
hash functions
artificial neural networks
binary representation
machine learning
computer vision
object recognition
distance measure