2020年3月30日
Verification of Neural Networks_阅读报告
摘要： 1. 背景 深度神经网络（DNNs）在各领域中成功的应用案例，使其成为了迄今为止最受欢迎的机器学习模型之一。但人们担心其易受敌对干扰，因此其在安全相关的环境中的应用受到了限制。 2. 问题描述 网络的复杂性和庞大规模对自动化形式验证技术（automated formal verification t 阅读全文
posted @ 2020-03-30 23:31 第四组 阅读(399) 评论(3) 推荐(0) 编辑