Robustness verification of ReLU networks via quadratic programming.

Aleksei Kuvshinov Stephan Günnemann

Published in: Mach. Learn. (2022)

Keyphrases

quadratic programming
linear programming
support vector machine
support vector
decision trees
bayesian networks
objective function
ls svm