Skip to content
OpenTrain AIFor AI Companies

Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond

Published Feb 1, 2020
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Missing
Not verified yet
Time to first repro
A few hours
Fast first run
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: cold
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Moderate
KaidiXu/auto_LiRPA

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

351 stars · 106 forks · Last push Jul 17, 2026 · NOASSERTION license

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Strong overlap with paper title keywords

Why this implementation
Confidence: high

KaidiXu/auto_LiRPA is the strongest maintained implementation based on ranking signals. License is declared (NOASSERTION). Dependency/environment manifests are present.

Open KaidiXu/auto_LiRPA
Reproduction risks
  • No CI workflows detected
  • Selected KaidiXu/auto_LiRPA as the strongest maintained implementation for new work.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.

Compare implementation paths

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

KaidiXu/auto_LiRPA
best maintained
Maintenance
Recently updated
Confidence
High
Reproducibility
Moderate
Stars
351
Last push
Jul 17, 2026 (39d)

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

  • No CI pipeline detected
  • No Docker setup
huanzhang12/alpha-beta-CROWN
alternative
Maintenance
Recently updated
Confidence
Low
Reproducibility
Moderate
Stars
388
Last push
Jun 16, 2026 (70d)

Partial overlap with paper title keywords · Community adoption signal (388 stars)

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup
verified-intelligence/alpha-beta-crown
alternative
Maintenance
Recently updated
Confidence
Low
Reproducibility
Moderate
Stars
388
Last push
Jun 16, 2026 (70d)

Partial overlap with paper title keywords · Community adoption signal (388 stars)

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup

Reproduction readiness

Time to first repro: hours
Last checked: Aug 23, 2026

Setup required

Dependencies pinned, manual setup needed

  • KaidiXu/auto_LiRPA has pyproject.toml but requires manual environment setup.
  • No Dockerfile, so you will set up the environment manually.
  • No CI pipeline, so test coverage is unknown.
Open KaidiXu/auto_LiRPA

Quick start

git clone https://github.com/KaidiXu/auto_LiRPA.git
pip install -e .

Repositories and ecosystem

No additional verified repositories beyond the primary recommendation.

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

Curated Related

Broaden model search

automatic perturbation analysis scalable

Datasets

No trustworthy datasets matches right now.

Search datasets on Hugging Face

Spaces

No trustworthy spaces matches right now.

Search spaces on Hugging Face

Research context

Evaluation and human feedback data

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

Open in HFEPX

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