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

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.

Backward Reachability Analysis for Neural Feedback Loops is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

mit-acl/nn_robustness_analysis is the strongest maintained implementation based on ranking signals. License is declared (MIT). Dependency/environment manifests are present.

Open mit-acl/nn_robustness_analysis

Reproduction Risks

  • No CI workflows detected
Evidence disclosure

Evidence graph: 4 refs, 4 links.

Utility signals: depth 55/100, grounding 85/100, status medium.

Implementation Comparison

Top 1 paths

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

mit-acl/nn_robustness_analysis
best maintained
Maintenance: Stale
Confidence: High
Reproducibility: Moderate

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

Stars
84
Last push
Sep 12, 2024 (644d ago)
Dependencies

Risk flags

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

Best implementation now

mit-acl/nn_robustness_analysis
Confidence: High
Reproducibility: Moderate

Formal Verification of Neural Feedback Loops (NFLs)

Stars: 84
Forks: 17
Last push: Sep 12, 2024
License: MIT
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Strong overlap with paper title keywords
Community adoption signal (84 stars)
License ✓
CI –
Deps ✓
Docker –
  • Selected mit-acl/nn_robustness_analysis as the strongest maintained implementation for new work.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.

Reproduction readiness

Setup Required
Time to first repro: hours
Last checked: Jun 18, 2026

Dependencies pinned, manual setup needed

  • · mit-acl/nn_robustness_analysis has pyproject.toml but requires manual environment setup.
  • · Last push was 644 days ago — expect possible dependency version conflicts.
  • · No Dockerfile — you will set up the environment manually.
  • · No CI pipeline — test coverage is unknown.
Open mit-acl/nn_robustness_analysis

Quick start

git clone https://github.com/mit-acl/nn_robustness_analysis.git
pip install -e .

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

Broaden model search

backward reachability analysis neural

Datasets

No trustworthy dataset matches right now.

Search datasets on Hugging Face

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