Verifying Generalization in Deep Learning.

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira

Browse the full CAV paper archive.