BriefGPT.xyz
Ask
alpha
关键词
epsilon-prove
搜索结果 - 1
具有可证明的概率保证的深度神经网络中的安全区域枚举
鉴于深度神经网络 (DNNs) 所基于的系统的可信保证,识别安全区域是一个关键问题。为此,我们提出了 AllDNN-Verification 问题:给定一个安全属性和一个 DNN,列举出在属性输入域中所有安全的区域,即属性成立的区域。由于该
→
PDF
a year ago
Prev
Next