MNIST-F

新的 SaBRe 框架增强了 AI 安全的神经网络验证

研究人员开发了一个名为 SaBRe 的新框架，该框架使用分支定界方法来验证神经网络是否符合关系规范。这种方法对于确保网络物理系统中 AI 组件的安全性至关重要。SaBRe 通过分割关系神经元并采用新颖的选择策略来有效改进问题验证，从而优于现有技术。在 ACAS Xu 和 MNIST 等数据集上的评估表明，与基线方法相比，SaBRe 在解决实例和验证效率方面表现更优。