Skip to content
implementation starting point
Benchmarks: missing
Time to repro: a few days
1 risk flag
none

Results & Benchmarks

Freshness tier: cold
Direct + Inferred Evidence

No concrete benchmark grounding is available yet. Treat the page as context or an implementation starting point only.

On Symmetry and Quantification: A New Approach to Verify Distributed Protocols is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

aman-goel/ic3po is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (GPL-3.0).

Open aman-goel/ic3po

Reproduction Risks

  • Dependency manifest is missing

Hardware Notes

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

Evidence disclosure

Evidence graph: 3 refs, 3 links.

Utility signals: depth 60/100, grounding 75/100, status medium.

Implementation Comparison

Top 2 paths

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

aman-goel/ic3po
best maintained
Maintenance: Stale
Confidence: High
Reproducibility: Moderate

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

Stars
28
Last push
Sep 10, 2024 (645d ago)
CIReleases

Risk flags

  • No push in 12+ months
  • No Docker setup
  • Dependency manifest missing
aman-goel/nfm2021exp
historical official
Maintenance: Stale
Confidence: High
Reproducibility: Limited

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

Stars
0
Last push
Mar 23, 2021 (1913d ago)

Risk flags

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

Best implementation now

aman-goel/ic3po
Confidence: High
Reproducibility: Moderate

IC3PO: IC3 for Proving Protocol Properties

Stars: 28
Forks: 3
Last push: Sep 10, 2024
License: GPL-3.0
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Community adoption signal (28 stars)
License ✓
CI ✓
Deps –
Docker –
  • Selected aman-goel/ic3po as the strongest maintained implementation for new work.
  • Includes CI workflow signals.
  • Repository activity is within the last 24 months.
  • Official repository is preserved separately as historical context.

Historical official implementation

Preserved for provenance. Not recommended as the default path for new builds.

aman-goel/nfm2021exp
Stars: 0
Last push: Mar 23, 2021

Reproduction readiness

Major Work
Time to first repro: days
Last checked: Jun 15, 2026

Hardware requirements

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

No dependency manifest — manual reconstruction required

  • · aman-goel/ic3po has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
  • · You will need to reverse-engineer dependencies from import statements in the source code.
  • · Last push was 645 days ago.
Open aman-goel/ic3po

No benchmark numbers could be verified. You will not be able to validate reproduction correctness against published numbers.

Hugging Face artifacts

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

Models

No trustworthy model matches right now.

Search models on Hugging Face

Datasets

Broaden dataset search

symmetry quantification verify distributed dataset

Spaces

No trustworthy demo spaces right now.

Search spaces on Hugging Face
Search models Search datasets Search spaces

Research context

Evaluation & Human Feedback Data

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

Open in HFEPX

Need human evaluators for your AI research? Scale annotation with expert AI Trainers.

Post a Job Get a Quote