Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a 20-minute conference talk from PLDI 2023 that introduces a novel framework for incremental and complete verification of deep neural networks (DNNs). Learn about IVAN, a tool that achieves significant speedups in verifying challenging MNIST, CIFAR10, and ACAS-XU classifiers compared to state-of-the-art baselines. Discover how this approach improves efficiency when verifying updated DNNs, addressing the limitations of existing complete verifiers that require full re-verification. Gain insights into the innovative theory, data structures, and algorithms behind this framework, which aims to enhance the trustworthiness and robustness of DNNs in various applications.
