Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
神经网络中的安全保障真的安全吗?如何计算可信的鲁棒性认证
机构 * University of Crete(克里特大学) ; Catalan Institution for Research and Advanced Studies(加泰罗尼亚研究与高等研究院) ; University of Lleida(莱里达大学)
专题命中 安全评测 :safety(title,abstract);trustworthy(title);AI safety(abstract);分类 cs.AI、cs.LG
AI总结 针对神经网络对抗样本问题,提出apothem度量以线性时间计算最优鲁棒性认证,并证明体积最优认证的不可行性,引入双重认证和ParallelepipedoNN系统,在MNIST等基准上实现至少两倍的最小边长改进。