- (05-30)·基于预训练模型和多层次信息的代码坏味检测方法
- (05-30)·软件问答社区的问题删除预测方法
- (10-27)·基于多路径回溯的神经网络验证方法
- (10-27)·模拟实时系统的点区间优先级时间 Petri 网与 TCTL 验证
- (10-27)·基于时态测试器的实时分支时态逻辑模型检测
基于多路径回溯的神经网络验证方法
2022-10-27 20:44:30 来源: 点击:
文档介绍
摘要:基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度.在数据集ACAS Xu, MNIST和CIFAR10上,将多路径回溯方法与使用单条回溯路径的DeepPoly进行定量比较,结果表明,多路径回溯方法能够获得明显的精度提升,而仅引入较小的额外时间代价.此外,在数据集MNIST上,将多路径回溯方法与使用全局优化的Optimized LiRPA比较,结果表明,该方法仍然具有精度优势.
下载地址
分享到: