Skip to content
OpenTrain AIFor AI Companies

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

Published Sep 1, 2021
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
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Moderate
huanzhang12/alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

388 stars · 94 forks · Last push Jun 16, 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

huanzhang12/alpha-beta-CROWN is the strongest maintained implementation based on ranking signals. License is declared (NOASSERTION). Dependency/environment manifests are present.

Open huanzhang12/alpha-beta-CROWN
Reproduction risks
  • No CI workflows detected
  • Selected huanzhang12/alpha-beta-CROWN 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.

huanzhang12/alpha-beta-CROWN
best maintained
Maintenance
Recently updated
Confidence
High
Reproducibility
Moderate
Stars
388
Last push
Jun 16, 2026 (71d)

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

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup
stanleybak/vnncomp2021
alternative
Maintenance
Stale
Confidence
Low
Reproducibility
Limited
Stars
36
Last push
Jul 17, 2021 (1867d)

Repository link is mentioned in the paper metadata · Strong overlap with paper title keywords

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
vas-group-imperial/verinet
alternative
Maintenance
Stale
Confidence
Low
Reproducibility
Limited
Stars
22
Last push
Jul 2, 2023 (1151d)

Strong overlap with paper title keywords · 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: hours
Last checked: Aug 23, 2026

Setup required

Dependencies pinned, manual setup needed

  • huanzhang12/alpha-beta-CROWN 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 huanzhang12/alpha-beta-CROWN

Quick start

git clone https://github.com/huanzhang12/alpha-beta-CROWN.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

No trustworthy models matches right now.

Search models on Hugging Face

Datasets

Curated Related

Broaden dataset search

second international verification neural dataset

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 ).