Yizhak Yisrael Elboher

新的 PAVE 方法将 DNN 验证速度提高了 10 倍

研究人员开发了一种称为 PAreto VErification (PAVE) 的新方法，以解决深度神经网络 (DNN) 正式验证中的可扩展性挑战。PAVE 通过早期退出来增强 DNN，从而能够比传统方法更快地验证大部分鲁棒性查询。这种方法可以解决以前棘手的查询，包括在 CIFAR-100 上对 ResNet-18 进行正式验证，同时对网络准确性的影响很小。