- 1、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。。
- 2、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 3、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
VERIX:迈向深度神经网络的可验证可解释性
、克拉克·巴雷特
斯坦福大学{minwu,haozewu,
barrett}@cs.stanford.edu
2抽象的
2
0我们提出了VERIX,这是在安全关键型应用中验证机
2器学习模型可解释性的第一步。具体来说,我们合理且
c
您可能关注的文档
- 从二十八楼跃下婚姻绝响.pdf
- 第7课J:辨识人物与物品.pptx
- 簿记系统概述与核心要素.pdf
- 图像处理技术及其应用概述.pdf
- 军事理论所有题目及答案.doc
- 句子仿写题目及答案大全.doc
- 2025年小学史上最难题目及答案.doc
- 2025年环保大赛题目及答案英文.doc
- 英汉互译高一题目及答案.doc
- 人教版二年级数学下册第四单元 表内除法(二)4 用表内除法解决实际问题.pptx
- 人教数学七下5.2.2平行线判定2[代老师]【市一等奖】优质课.ppt
- 人教数学七下6.2.2用计算器求立方根[周老师]【市一等奖】优质课.ppt
- 人教数学七下5.3.0探索两条直线的位置关系[龚老师]【市一等奖】优质课.ppt
- 人教数学七上4.3.3方位角[孙老师]【市一等奖】优质课.ppt
- 人教数学七下5.3.2命题、定理、证明1[刘老师]【市一等奖】优质课.ppt
- 一般过去时练习.docx
- 语法专练 一般过去时.docx
- 人教数学七下5.3.2命题、定理、证明2[洪老师]【市一等奖】优质课.ppt
- 2026年保密员理论考试题库含答案(典型题).docx
- 2026年县乡教师选调进城考试《教育学》题库300道(培优b卷).docx
原创力文档


文档评论(0)