\\ell_0

FocusBranch framework enhances neural network robustness verification

Researchers have developed FocusBranch, a novel combinatorial branch-and-bound framework designed to verify the local robustness of neural networks against $\ell_0$ perturbations. This method addresses the combinatorial…