arXiv Open Access 2023

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

Christopher Brix Mark Niklas Müller Stanley Bak Taylor T. Johnson Changliu Liu

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.LG cs.AI cs.SE

Penulis (5)

Christopher Brix

Mark Niklas Müller

Stanley Bak

Taylor T. Johnson

Changliu Liu

Format Sitasi

APA MLA BibTeX

Brix, C., Müller, M.N., Bak, S., Johnson, T.T., Liu, C. (2023). First Three Years of the International Verification of Neural Networks Competition (VNN-COMP). https://arxiv.org/abs/2301.05815

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓