Skip to content
OpenTrain AIFor AI Companies

Clover: Closed-Loop Verifiable Code Generation

Published Oct 1, 2023
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Missing
Not verified yet
Time to first repro
A few days
Plan setup time
Risk flags
2
Review before use

Results and benchmarks

Freshness tier: hot
Clover: Closed-Loop Verifiable Code Generation is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Limited
ChuyueSun/Clover

Clover: Closed-Loop Verifiable Code Generation

47 stars · 4 forks · Last push May 12, 2025 · MIT license

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Matched via arXiv identifier search · Strong overlap with paper title keywords

Why this implementation
Confidence: high

ChuyueSun/Clover is the strongest maintained implementation based on ranking signals. License is declared (MIT).

Open ChuyueSun/Clover
Reproduction risks
  • No CI workflows detected
  • Dependency manifest is missing
  • Selected ChuyueSun/Clover as the strongest maintained implementation for new work.
  • Repository activity is within the last 24 months.

Compare implementation paths

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

ChuyueSun/Clover
best maintained
Maintenance
Stale
Confidence
High
Reproducibility
Limited
Stars
47
Last push
May 12, 2025 (469d)

Official implementation from Papers with Code · Matched via arXiv identifier search

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
stanford-centaur/Clover
alternative
Maintenance
Stale
Confidence
Low
Reproducibility
Limited
Stars
5
Last push
Apr 5, 2025 (507d)

Matched via arXiv identifier search

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
ChloeL19/DafnyBench
alternative
Maintenance
Stale
Confidence
Low
Reproducibility
Limited
Stars
7
Last push
Apr 10, 2024 (866d)

Matched via arXiv identifier search · 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: days
Last checked: Aug 23, 2026

Major work

No dependency manifest, manual reconstruction required

  • ChuyueSun/Clover 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 469 days ago.
Open ChuyueSun/Clover

Hardware requirements

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

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

Curated Related

Broaden model search

clover closed loop verifiable

Datasets

No trustworthy datasets matches right now.

Search datasets on Hugging Face

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