1. The second international verification of neural networks competition (VNN-COMP 2021): Summary and results;Bak;arXiv preprint,2021
2. Efficient verification of relu-based neural networks via dependency analysis;Botoeva,2020
3. A dual approach to scalable verification of deep networks;Dvijotham;UAI,2018
4. On the effectiveness of interval bound propagation for training verifiably robust models;Gowal;arXiv preprint,2018
5. Efficient neural network verification via adaptive refinement and adversarial search;Henriksen,2020