Verifying Generalization in Deep Learning

Guy Amir, Osher Maayan, Tom Zelazny +2

Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains. However, DNN-based decision rules are notor…