arXiv:1904.11803 [cs.LG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords support vector machines, neural networks, prototype svm robustness verifier appear, abstraction, zonotope abstract domain Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset