Accelerating adversarially robust model selection for deep neural networks via racing

Racing algorithmsLocal robustness verificationAI safety