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

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

28 December 2023

Christopher Brix

Changliu Liu

Taylor T. Johnson

ArXiv (abs)PDF HTML

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

4 / 4 papers shown

Title
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 97 1 0 07 Nov 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 87 18 0 31 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 113 2 0 27 May 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 229 0 0 23 Apr 2024