H. Nguyen

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

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 simultaneously, existing verifiers are limited to single-parameter perturbations due to the combinatorial explosion of possible flip locatio...