第二届国际神经网络验证竞赛(VNN-COMP 2021)：综述与结果
计算机科学中的逻辑
2021-09-08 v1 机器学习
摘要
本报告总结了第二届国际神经网络验证竞赛(VNN-COMP 2021)，该竞赛作为第4届机器学习赋能自治系统形式化方法研讨会的一部分举办，并与第33届国际计算机辅助验证会议(CAV)联合召开。十二支队伍参与了本次竞赛。竞赛目标是从可扩展性与速度方面对神经网络验证前沿方法进行客观比较。为此，我们采用了标准格式(神经网络用ONNX，规范用VNNLIB)、标准硬件(所有工具由组织者在AWS上运行)以及工具作者提供的工具参数。本报告总结了本次竞赛的规则、基准、参与工具、结果及经验教训。
引用
@article{arxiv.2109.00498,
title = {The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results},
author = {Stanley Bak and Changliu Liu and Taylor Johnson},
journal= {arXiv preprint arXiv:2109.00498},
year = {2021}
}