关于论文Safety Verification of Deep Neural Networks

  其实现在对于神经网络的攻击方法已经提出了很多,但有关防御,验证的问题却还有很多值得研究的地方,除了Reluplex以外,这一篇论文中,也是提出希望基于可满足性模理论来对神经网络的鲁棒性做一些验证。这篇论文感觉已经更偏向于软件工程的范畴,所以读起来略有点恶心。   类比之前的攻击,对于神经网络...

2018-06-29 15:14:45

阅读数:67

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭