The Third International Verification of Neural Networks Competition
(VNN-COMP 2022): Summary and Results

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

20 December 2022

Mark Niklas Muller

Christopher Brix

Changliu Liu

Taylor T. Johnson

Papers citing "The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results"

10 / 10 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 45 0 0 02 May 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 87 1 0 12 Dec 2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 52 0 0 07 Nov 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 0 0 27 May 2024
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 30 66 0 14 Jan 2023
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 18 10 0 02 Jul 2022
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 77 19 0 14 Sep 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 25 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017