Jan, 2024
UR4NNV:神经网络验证,欠估计可达性研究!
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang...
TL;DR该研究介绍了 UR4NNV 验证框架,它首次利用了 DNN 的欠逼近可达性分析方法,针对具有 ReLU 激活函数的 DNN 并采用基于二叉树分支的欠逼近算法。UR4NNV 有效验证 DNN 属性且在达到验证轮数和未能证伪属性时提供置信水平,实验比较结果显示 UR4NNV 在解决 “未知困境” 方面的有效性和效率,显著减少了影响。