most citedCertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2023★ 1 cited

CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space

Haibin Zheng, Jinyin Chen, Haibo Jin

Deep neural networks (DNNs) have demonstrated their outperformance in various software systems, but also exhibit misbehavior and even result in irreversible disasters. Therefore, i…