Pith. sign in

REVIEW 1 cited by

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2301.05815 v1 pith:VGK2YCRE submitted 2023-01-14 cs.LG cs.AIcs.SE

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Christopher Brix , Mark Niklas M\"uller , Stanley Bak , Taylor T. Johnson , Changliu Liu This is my paper
classification cs.LG cs.AIcs.SE
keywords neuralnetworksthreevnn-compcompetitionfirstinternationalspecifications
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. IoUCert: Robustness Verification for Anchor-based Object Detectors

    cs.LG 2026-03 conditional novelty 7.0

    IoUCert derives exact IoU bounds over anchor-offset boxes via a coordinate transformation and uses them to formally verify single-object SSD, YOLOv2, and YOLOv3 models under brightness, contrast, and motion-blur pertu...