Robustness Verification of Support Vector Machines

Francesco Ranzato, Marco Zanella

We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regressio…