Panagiotis Kouvaros

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching

2021

We introduce an efficient method for the complete verification of ReLU-based feed-forward neural networks. The method implements branching on the ReLU states on the basis of a notion of dependency between the nodes. This results …