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

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full IJCAI paper archive.