BriefGPT.xyz
Ask
alpha
关键词
reluval
搜索结果 - 1
使用符号区间对神经网络进行形式化安全分析
利用区间算法和符号区间分析代替 SMT solver,可以更高效地实现对 DNN 的安全性质进行正式验证,ReluVal 系统相比现有最先进的 solver-based 系统 Reluplex,平均可以提升 200 倍验证效率。
PDF
6 years ago
Prev
Next