Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
Recent research has introduced several approaches to formally verify the robustness of neural network models against perturbations in their inputs, such as the ones that occur in adversarial attacks. At the same time, this particular verification task is known to be computationally challenging. More…