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

Learning Formal Mathematics From Intrinsic Motivation is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

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

Open gpoesia/minimo

Reproduction Risks

  • No CI workflows detected
  • Dependency manifest is missing

Hardware Notes

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

Evidence disclosure

Evidence graph: 4 refs, 4 links.

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

Implementation Comparison

Top 2 paths

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

gpoesia/minimo
best maintained
Maintenance: Stale risk
Confidence: High
Reproducibility: Limited

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

Stars
36
Last push
Jul 10, 2025 (343d ago)

Risk flags

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup
gpoesia/peano
alternative
Maintenance: Stale
Confidence: Low
Reproducibility: Limited

Strong overlap with paper title keywords · Community adoption signal (71 stars)

Stars
71
Last push
Aug 18, 2024 (669d ago)

Risk flags

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

Best implementation now

gpoesia/minimo
Confidence: High
Reproducibility: Limited

Learning Formal Mathematics from Intrinsic Motivation

Stars: 36
Forks: 17
Last push: Jul 10, 2025
License: MIT
Official implementation from Papers with Code
Matched via arXiv identifier search
Strong overlap with paper title keywords
Community adoption signal (36 stars)
License ✓
CI –
Deps –
Docker –
  • Selected gpoesia/minimo as the strongest maintained implementation for new work.
  • Repository activity is within the last 24 months.

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

  • · gpoesia/minimo 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 343 days ago.
Open gpoesia/minimo

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

Broaden model search

learning formal mathematics from

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