Dec, 2023
第四届神经网络验证国际比赛 （VNN-COMP 2023）：概述与结果
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
TL;DR该报告总结了第四届国际神经网络验证竞赛（VNN-COMP 2023），作为第六届机器学习驱动自主系统形式化方法研讨会（FoMLAS）的一部分，在第 35 届计算机辅助验证国际会议（CAV）上举行。VNN-COMP 是一年一度的活动，旨在促进最先进的神经网络验证工具的公平客观比较，鼓励工具接口的标准化，并汇集神经网络验证社区。本次竞赛中，制定了网络（ONNX）和规格（VNN-LIB）的标准化格式，使用基于 AWS 实例的自动评估流水线在等成本硬件上评估工具，并由参赛者选择工具参数，然后公开最终的测试集。在 2023 年的竞赛中，共有 7 个团队参与了 10 个有分数和 4 个无分数的多样化基准测试。本报告总结了本次竞赛的规则、基准测试、参赛工具、结果和经验教训。