Evaluating robustness of support vector machines with the Lagrangian dual approach

Yuting Liu, Hong Gu, Pan Qin

Adversarial examples bring a considerable security threat to support vector machines (SVMs), especially those used in safety-critical applications. Thus, robustness verification is…