VNN-COMP 2022 Benchmark Results
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/ChristopherBrix/vnncomp2022_results
下载链接
链接失效反馈官方服务：
资源简介：
该数据集总结了第三届国际神经网络验证竞赛的结果，展示了各种神经网络验证工具在一组多样化的基准测试上的表现。此外，数据集还包含了比赛中使用的基准测试的结果和评分脚本。该任务的主题是神经网络验证。
This dataset summarizes the outcomes of the 3rd International Neural Network Verification Competition, showcasing the performance of various neural network verification tools across a diverse set of benchmark tests. Additionally, the dataset includes the results of the benchmarks used in the competition and the corresponding scoring scripts. The theme of this task is neural network verification.
提供机构：
VNN-COMP organizing committee
