Towards Verifying Neural Networks Against Multi-Parameter Bit-Flip Perturbations

Hai Duong, Thanh Le, Ho Nguyen +1

Hardware faults can flip bits in the stored weights of a quantized neural network, potentially compromising its predictions. While such faults typically affect multiple parameters…