Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio

Despite their great success in recent years, neural networks have been found to be vulnerable to adversarial attacks. These attacks are often based on slight perturbations of given inputs that cause them to be misclassified. Several methods have been proposed to formally prove robustness of a given...

Full description