BriefGPT.xyz
Jul, 2023
CertPri: 使用特征空间中的移动成本实现深度神经网络的可认证优先级
CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space
HTML
PDF
Haibin Zheng, Jinyin Chen, Haibo Jin
TL;DR
基于运动成本角度的测试输入优先技术CertPri解决了DNN软件质量提升中的三个挑战:确证性、有效性和通用性,并在广泛的评估中展现出卓越性能。
Abstract
deep neural networks
(DNNs) have demonstrated their outperformance in various software systems, but also exhibit
misbehavior
and even result in irreversible disasters. Therefore, it is crucial to identify the
→