Journal Paper at STTT ExPLAIn

The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University), Taylor T Johnson (Vanderbilt University), and Changliu Liu (Carnegie Mellon University) has been accepted for publication in the journal STTT ExPLAIn. The paper summarizes the organization and results from 2020 to 2022 of the VNN-COMP, where the performance of tools designed for the verification of safety-properties of neural networks was measured.