Efficient Preimage Approximation for Neural Network Certification

Anton Björklund, Mykola Zaitsev, Paolo Morettin +1

The growing reliance on artificial intelligence in safety- and security-critical applications is raising concerns about the robustness of neural networks to erroneous or adversaria…