Skip to content
implementation starting point
Benchmarks: missing
Time to repro: a few hours
none

Results & Benchmarks

Freshness tier: hot
Direct + Inferred Evidence

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

CLEVER: A Curated Benchmark for Formally Verified Code Generation is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

trishullab/clever is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (MIT).

Open trishullab/clever

Reproduction Risks

  • No repository-level red flags were detected, but paper-specific preprocessing and hyperparameter details may still be under-specified.
Evidence disclosure

Evidence graph: 3 refs, 3 links.

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

Implementation Comparison

Top 3 paths

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

trishullab/clever
best maintained
Maintenance: Recently updated
Confidence: High
Reproducibility: Strong

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

Stars
45
Last push
Apr 3, 2026 (75d ago)
CIDependencies

Risk flags

  • No tagged releases
  • No Docker setup
trishullab/clever-prover
historical official
Maintenance: Stale risk
Confidence: High
Reproducibility: Moderate

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

Stars
4
Last push
Nov 29, 2025 (201d ago)
Dependencies

Risk flags

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup
Lyz103/LLM-Agent-Paper-daily
alternative
Maintenance: Active
Confidence: Low
Reproducibility: Strong

Matched via arXiv identifier search

Stars
20
Last push
Jun 15, 2026 (3d ago)
CIDependencies

Risk flags

  • No tagged releases
  • No Docker setup
  • Low confidence match

Best implementation now

trishullab/clever
Confidence: High
Reproducibility: Strong

CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning

Stars: 45
Forks: 7
Last push: Apr 3, 2026
License: MIT
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Matched via arXiv identifier search
Strong overlap with paper title keywords
Community adoption signal (45 stars)
License ✓
CI ✓
Deps ✓
Docker –
  • Selected trishullab/clever as the strongest maintained implementation for new work.
  • Includes CI workflow signals.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.

Historical official implementation

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

trishullab/clever-prover
Stars: 4
Last push: Nov 29, 2025

Reproduction readiness

Ready to Run
Time to first repro: hours
Last checked: Jun 16, 2026

Ready to reproduce

  • · Clone trishullab/clever and install dependencies from pyproject.toml.
  • · CI pipeline detected — automated tests are in place.
  • · Last updated 75 days ago.
Open trishullab/clever

Quick start

git clone https://github.com/trishullab/clever.git
pip install -e .

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

Additional implementations

No additional verified repositories beyond the primary recommendation.

These repositories had low-confidence matching signals and are hidden by default.

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

clever curated benchmark formally 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