VNN-COMP 2024 Benchmark Results
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/ChristopherBrix/vnncomp2024_results
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了第五届国际神经网络验证竞赛的结果，涵盖了多种工具在不同基准测试集上的性能指标。此外，数据集还包含了评分脚本和详细的性能分析。该任务的焦点是神经网络验证。
This dataset contains the results of the 5th International Verification of Neural Networks Competition, covering performance metrics of various tools across different benchmark datasets. In addition, the dataset also includes scoring scripts and detailed performance analyses. The focus of this task is neural network verification.
提供机构：
VNN-COMP
