PRODeep公司 swMATH ID: 39886 软件作者: 李锐,李杰,黄CC,杨P,黄X,张L,薛B,Hermanns H 描述: PRODeep:深度神经网络鲁棒性验证平台。深度神经网络(DNN)已应用于安全关键领域,如自动驾驶汽车、飞机防撞系统、恶意软件检测等。在这种情况下,重要的是要对鲁棒性进行安全保证,即在输入的小扰动下,输出是不变的。为此,最近开发了几种算法和工具。在本文中,我们提出了PRODeep,一个用于DNN健壮性验证的平台。PRODeep结合了基于约束、基于抽象和基于优化的鲁棒性检查算法。它有一个模块化的架构,可以轻松比较不同的算法。通过实验结果,我们说明了该工具的使用,以及这些技术的简单组合。 主页: https://dl.acm.org/doi/abs/10.1145/3368089.3417918 关键词: 深度神经网络;验证;稳健性;抽象解释;符号传播;利普希茨常数 相关软件: Reluplex公司;马拉布;阿波罗;XNOR-网络;效率网;MNIST公司;CUDD公司;AlexNet公司;ImageNet公司;深度愚人 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 通过符号传播增强深度神经网络的鲁棒性验证。 Zbl 1519.68228号杨鹏飞;李建林;刘江超;黄成超;李仁觉;陈丽倩;黄晓伟;张丽君 2021 全部的 前5名11位作者引用 1 陈广科 1 陈丽倩 1 陈、陶璐 1 黄成超 1 李仁觉 1 刘江超 1 宋,傅 1 杨鹏飞 1 张丽君 1 张业迪 1 赵哲 连载1篇 1 计算的形式方面 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文