Hierarchical Verification for Adversarial Robustness.

Cong Han Lim Raquel Urtasun Ersin Yumer

Published in: ICML (2020)

Keyphrases

learning algorithm
database
model checking
asynchronous circuits
data sets
social networks
database systems
similarity measure
expert systems
unsupervised learning
hierarchical structure
face verification
formal verification
hierarchical structures
hierarchical decomposition