Certifiers Make Neural Networks Vulnerable to Availability Attacks

Tobias Lorenz, Marta Kwiatkowska, Mario Fritz

To achieve reliable, robust, and safe AI systems, it is vital to implement fallback strategies when AI predictions cannot be trusted. Certifiers for neural networks are a reliable…