Skip to content
implementation starting point
Benchmarks: missing
Time to repro: a few days
2 risk flags
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.

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

trishullab/putnam is the strongest maintained implementation based on ranking signals. CI workflows are present.

Open trishullab/putnam

Reproduction Risks

  • License metadata missing
  • 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 65/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/putnam
best maintained
Maintenance: Active
Confidence: High
Reproducibility: Limited

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

Stars
240
Last push
Jun 10, 2026 (8d ago)
CI

Risk flags

  • No tagged releases
  • No Docker setup
  • Dependency manifest missing
trishullab/putnambench
historical official
Maintenance: Active
Confidence: High
Reproducibility: Limited

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

Stars
240
Last push
Jun 10, 2026 (8d ago)
CI

Risk flags

  • No tagged releases
  • No Docker setup
  • Dependency manifest missing
trishullab/PutnamBench
alternative
Maintenance: Active
Confidence: Medium
Reproducibility: Limited

Matched via arXiv identifier search · Partial overlap with paper title keywords

Stars
240
Last push
Jun 10, 2026 (8d ago)
CI

Risk flags

  • No tagged releases
  • No Docker setup
  • Dependency manifest missing

Best implementation now

trishullab/putnam
Confidence: High
Reproducibility: Limited

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

Stars: 240
Forks: 39
Last push: Jun 10, 2026
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Partial overlap with paper title keywords
Community adoption signal (240 stars)
License –
CI ✓
Deps –
Docker –
  • Selected trishullab/putnam 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.

trishullab/putnambench
Stars: 240
Last push: Jun 10, 2026

Reproduction readiness

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

Hardware requirements

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

No dependency manifest — manual reconstruction required

  • · trishullab/putnam has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
  • · You will need to reverse-engineer dependencies from import statements in the source code.
Open trishullab/putnam

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

Additional implementations

Official

No additional official repositories detected.

Community

  • trishullab/PutnamBench
    Confidence: Medium

    An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

    Stars: 240
    Last push: Jun 10, 2026

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

putnambench evaluating neural theorem 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