Broadcom（博通）

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results

第六届神经网络验证竞赛（VNN-COMP 2025）：总结与结果

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H Nguyen, Haoze Wu

机构 * RWTH Aachen University（亚琛工业大学） ； Technical University of Munich（慕尼黑技术大学） ； Stony Brook University（石溪大学） ； George Mason University（乔治·梅奥大学） ； Maynooth University（梅诺特大学） ； Vanderbilt University（范德比尔特大学） ； University of Manchester（曼彻斯特大学） ； Amherst College（阿默斯特学院） ； VMware Research by Broadcom（Broadcom VMware 研究） 纠错

AI总结 VNN-COMP 2025通过标准化格式和公平评估，促进神经网络验证工具的比较与标准化。

Comments Report on the results of VNN-COMP 2025. arXiv admin note: substantial text overlap with arXiv:2412.19985, arXiv:2312.16760, arXiv:2212.10376