Abstract: Neural networks (NNs) are increasingly deployed in safety-critical systems such as automotive and medical devices, where failures can lead to severe consequences. This necessitates rigorous ...