Tue 17 Jan 2023 09:00 - 10:00 at Arlington - Keynote and contribution paper Chair(s): Michael Emmi

Deep neural networks have become an integral component of many systems for which ensuring safety, robustness, and reliability is crucial. In this talk, we present an abstract interpretation based method for efficient verification of a class of properties called differential properties. While we focus on network equivalence as the canonical example, other interesting properties concerning input sensitivity and stability can also be cast as differential properties. Our key insight is in deriving sound abstractions that relate the intermediate results of nonlinear computations of two structurally-similar neural networks, to accurately bound their maximum difference over all inputs. We also propose automated synthesis techniques for generating linear abstractions of arbitrary nonlinear functions, to handle architectures beyond feed-forward ReLU networks.

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Keynote and contribution paperVMCAI at Arlington
Chair(s): Michael Emmi Amazon Web Services
Differential Verification of Deep Neural Networks
Chao Wang University of Southern California
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Yuyi Zhong , Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore