Skip to content
OpenTrain AIFor AI Companies

SoK: Certified Robustness for Deep Neural Networks

Published Sep 1, 2020
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Thin evidence
Verify before relying
Time to first repro
A few days
Plan setup time
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: cold
SoK: Certified Robustness for Deep Neural Networks is the primary contribution described in this paper.
Task Dataset Metric Value Source
Certified Robustness Deep Neural Networks MNIST Certified Accuracy under Radius r r. 98.1 paper-derived

Audit each benchmark finding before selecting an implementation path. Evidence refs map to the disclosure below.

Implementation

Historical official implementation (not recommended for new builds)

Why this implementation
Confidence: low

AI-secure/Certified-Robustness-SoK-Oldver is the closest maintained adjacent implementation (Matched via arXiv identifier search). It is not paper-verified; validate algorithm and evaluation setup against the paper before trusting reported metrics. Community adoption signal: 97 GitHub stars.

Open AI-secure/VeriGauge
Reproduction risks
  • Adjacent implementations are not paper-verified
  • Recommended repository is adjacent and not paper-verified.
  • Adjacent implementation match confidence is low.
  • No direct maintained implementation is currently verified.
  • Only historical official repository was found: AI-secure/VeriGauge.
  • No maintained paper-verified implementation met reliability thresholds.

Compare implementation paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

AI-secure/VeriGauge
historical official
Maintenance
Stale
Confidence
High
Reproducibility
Limited
Stars
90
Last push
Mar 24, 2023 (1250d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
AI-secure/Provable-Training-and-Verification-Approaches-Towards-Robust-Neural-Networks
alternative
Maintenance
Stale
Confidence
High
Reproducibility
Limited
Stars
97
Last push
Oct 18, 2022 (1407d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
Cryptocxf/Federated-Learning-Papers
alternative
Maintenance
Stale
Confidence
Low
Reproducibility
Limited
Stars
14
Last push
Sep 19, 2023 (1072d)

Matched via arXiv identifier search · Repository appears stale (>24 months since last push)

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases

Reproduction readiness

Time to first repro: days
Last checked: Aug 24, 2026

Setup required

Dependencies pinned, manual setup needed

  • AI-secure/VeriGauge has requirements.txt but requires manual environment setup.
  • Last push was 1250 days ago, so expect possible dependency version conflicts.
  • No Dockerfile, so you will set up the environment manually.
  • No CI pipeline, so test coverage is unknown.
Open AI-secure/VeriGauge

Hardware requirements

  • Expect multi-day setup/compute for meaningful reproduction based on current guidance.

Quick start

git clone https://github.com/AI-secure/VeriGauge.git
pip install -r requirements.txt

Repositories and ecosystem

Closest related implementations

These are not paper-verified. Use them as reference points when no direct implementation is available.

Official

Community

No additional community repositories detected yet.

Hugging Face artifacts

No trustworthy direct or curated related Hugging Face artifacts were found yet. Use targeted searches to quickly locate candidate models, datasets, and demos.

Search models Search datasets Search spaces

Tip: start with models, then check datasets and spaces if you need evaluation data or demos.

Research context

Tasks

Certified Robustness Deep Neural Networks

Methods

None detected

Domains

None detected

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX
Explore similar papers

Jump to Paper2Code search queries derived from this paper's research context.

Certified Robustness Deep Neural Networks

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).