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） 按年份列出的引文