AI Paper Atlas

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

Efficient Certification of Spatial Robustness

AAAI 2021 · Adversarial robustness and security › Certified and empirical robustness · approach: Neural network robustness verification · 15 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.

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Add flow constraints with γ=0.001 (ablation)DeepPoly on ConvSmall PGD · MNIST, δ=0.4certification rate (%): 6 -> 77Helped
Add flow constraints with γ=0.001 (ablation)MILP on ConvSmall DiffAI · CIFAR-10, δ=0.4certification rate (%): 38 -> 69Helped
Add flow constraints with γ=0.1 (ablation)DeepPoly on CIFAR-10 ResNet · CIFAR-10, δ=0.4certification rate (%): 72% -> 76%Helped
Add flow constraints with γ=0.1 (ablation)MILP on CIFAR-10 ResNet · CIFAR-10, δ=0.4certification rate (%): 87% -> 89%Helped
Use T1 rather than T∞ displacement norm (ablation)DeepPoly on ConvSmall DiffAI · MNIST, δ=0.5, γ=∞certification rate (%): 40 -> 75Helped
Use T1 rather than T∞ displacement norm (ablation)MILP on ConvSmall DiffAI · MNIST, δ=0.5, γ=∞certification rate (%): 50 -> 79Helped

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy