Research map / Adversarial robustness and security / Certified and empirical robustness

Fooling a Complete Neural Network Verifier

ICLR 2021 · Adversarial robustness and security › Certified and empirical robustness · approach: Neural network robustness verification · 5 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Closest papers by meaning

• Evaluating Robustness of Neural Networks with Mixed Integer Programming (ICLR 2019 · similarity 0.90)
• Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability (ICLR 2019 · similarity 0.90)
• No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks (ICML 2025 · similarity 0.89)
• Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization (ICLR 2025 · similarity 0.88)
• Learning Better Certified Models from Empirically-Robust Teachers (NeurIPS 2026 · similarity 0.87)
• Stress-Testing Neural Network Verifiers with Provably Robust Instances (NeurIPS 2026 · similarity 0.87)