most citedGeneral Cutting Planes for Bound-Propagation-Based Neural Network Verification

33 citations · 33 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2023

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects

Linyi Li, Yuhao Zhang, Luyao Ren +2

With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failu…