Open source
Verification of deep neural networks

This repository contains a simple implementation of the dual verification formulation described in the paper: "A Dual Approach to Scalable Verification of Deep Networks.",

The code analyses a pre-trained TensorFlow classifier network, and attempts to prove that test examples remain correctly classified for all perturbations of the inputs up to some threshold.

No items found.