Differential Zonotopes for Verifying Global Robustness of DNNs

Anagha Athavale, Samuel Teuber, Matteo Maffei +3

The robustness of deep neural networks (DNNs) is critical in security-sensitive applications, where small input perturbations should not alter model predictions. This property is c…