VERIX:深度神网络可验证可解释性研究.pdf

VERIX:深度神网络可验证可解释性研究.pdf

  1. 1、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。。
  2. 2、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
  3. 3、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

VERIX:迈向深度神经网络的可验证可解释性

、克拉克·巴雷特

斯坦福大学{minwu,haozewu,

barrett}@cs.stanford.edu

2抽象的

2

0我们提出了VERIX,这是在安全关键型应用中验证机

2器学习模型可解释性的第一步。具体来说,我们合理且

c

文档评论(0)

158****9376 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档