1. Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers;xu;ArXiv Preprint,2020
2. Certifying Incremental Quadratic Constraints for Neural Networks;hashemi;ArXiv Preprint,2020
3. Improved branch and bound for neural network verification via lagrangian decomposition;de palma;ArXiv Preprint,2021
4. Efficient and accurate estimation of lipschitz constants for deep neural networks;fazlyab;Advances in neural information processing systems,2019
5. Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification;wang;Advances in neural information processing systems,2021