TY - JOUR AU - Botoeva, Elena AU - Kouvaros, Panagiotis AU - Kronqvist, Jan AU - Lomuscio, Alessio AU - Misener, Ruth PY - 2020/04/03 Y2 - 2024/03/28 TI - Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 34 IS - 04 SE - AAAI Technical Track: Machine Learning DO - 10.1609/aaai.v34i04.5729 UR - https://ojs.aaai.org/index.php/AAAI/article/view/5729 SP - 3291-3299 AB - <p>We introduce an efficient method for the verification of ReLU-based feed-forward neural networks. We derive an automated procedure that exploits dependency relations between the ReLU nodes, thereby pruning the search tree that needs to be considered by MILP-based formulations of the verification problem. We augment the resulting algorithm with methods for input domain splitting and symbolic interval propagation. We present Venus, the resulting verification toolkit, and evaluate it on the ACAS collision avoidance networks and models trained on the MNIST and CIFAR-10 datasets. The experimental results obtained indicate considerable gains over the present state-of-the-art tools.</p> ER -