The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
Results and benchmarks
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results is the primary contribution described in this paper.
| Task | Dataset | Metric | Value | Source |
|---|---|---|---|---|
| Summary Results | Attention heads | PGD_2_3_16 | 3 | paper-derived |
| Summary Results | Patch size | PGD_2_3_16 | 16 | paper-derived |
Audit each benchmark finding before selecting an implementation path. Evidence refs map to the disclosure below.
Evidence graph: 4 refs, 4 links.
Utility signals: depth 90/100, grounding 95/100, status high.
Implementation
Best maintained implementation now
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
389 stars · 95 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
verified-intelligence/alpha-beta-crown is the strongest maintained implementation based on ranking signals. License is declared (NOASSERTION). Dependency/environment manifests are present.
Open verified-intelligence/alpha-beta-crown- No CI workflows detected
- Selected verified-intelligence/alpha-beta-crown as the strongest maintained implementation for new work.
- Includes dependency/environment manifest signals.
- Repository activity is within the last 24 months.
- Official repository is preserved separately as historical context.
Compare implementation paths
Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.
- Maintenance
- Recently updated
- Confidence
- High
- Reproducibility
- Moderate
- Stars
- 389
- Last push
- Jun 16, 2026 (70d)
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
- No CI pipeline detected
- No tagged releases
- No Docker setup
- Maintenance
- Stale
- Confidence
- High
- Reproducibility
- Limited
- Stars
- 16
- Last push
- Apr 12, 2023 (1231d)
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
- Maintenance
- Recently updated
- Confidence
- Low
- Reproducibility
- Moderate
- Stars
- 4
- Last push
- Jul 6, 2026 (50d)
Matched via arXiv identifier search · Partial overlap with paper title keywords
- No tagged releases
- No Docker setup
- Low confidence match
Reproduction readiness
Setup required
Dependencies pinned, manual setup needed
- verified-intelligence/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.
Quick start
git clone https://github.com/verified-intelligence/alpha-beta-crown.git
pip install -e .Repositories and ecosystem
No additional verified repositories beyond the primary recommendation.
These repositories had low-confidence matching signals and are hidden by default.
- sammsaski/n2v
Confidence: Low · 4 stars
Hugging Face artifacts
No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.
Models
- jacobpwarren/Qwen2.5-7B-Latent_Verification
9 downloads · 4 likes
Broaden model search
Datasets
No trustworthy datasets matches right now.
Search datasets on Hugging FaceSpaces
No trustworthy spaces matches right now.
Search spaces on Hugging FaceResearch context
Tasks
Summary Results
Methods
None detected
Domains
None detected
Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.
Open in HFEPXJump to Paper2Code search queries derived from this paper's research context.
Data includes links from Papers with Code ( CC-BY-SA-4.0 ).