Christoph Müller

Scaling Polyhedral Neural Network Verification on GPUs

2020 · arXiv (Cornell University)

Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks …