Jan, 2023
国际神经网络验证竞赛的前三年(VNN-COMP)
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
TL;DR该论文总结了 2020-2022 年国际神经网络验证大赛的前三届,介绍了参与者提交的软件工具的评估及结果,这些评估涉及涵盖图像分类、神经控制、强化学习和自主系统等多个任务类型中神经网络满足特定要求的能力,同时预计未来该领域的发展趋势。