What is the best open-source implementation of "Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning"?

The best maintained implementation is moonshotai/kimina-prover-preview with 370 stars on GitHub. Confidence: high. Reproducibility: Limited.

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Q: How reproducible is "Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning"?

Estimated time to first reproduction: a few days. Risk flags: License metadata missing, No CI workflows detected, Dependency manifest is missing. Start with moonshotai/kimina-prover-preview and validate setup instructions in README.

Q: Are there pretrained models available for "Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning"?

Yes, 2 Hugging Face models found. The top result is AI-MO/Kimina-Prover-Preview-Distill-1.5B with 3,382 downloads.

Q: What framework is used to implement "Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning"?

The primary implementation uses none.

Published: Apr 1, 2025

Best maintained implementation now

Evidence: Direct

Domain fit: AI-core

Verified repos: 1

Top repo stars: 370

Core AI workload signals detected from paper context and implementation/artifact evidence.

Framework: none

Time to first repro: a few days

3 risk flags

arXiv PDF

Technical details

Canonical key: arxiv-2504.11354

Cache status: Fresh

Generated at: Jun 5, 2026, 9:23 PM

Artifact coverage: direct

HF provider: ok (token)

PWC source used: Yes

LLM status: not_generated

LLM model: n/a

LLM generated: Unknown

LLM content type: n/a

HF policy: hf-relevance-v27

implementation starting point

Benchmarks: thin evidence

Time to repro: a few days

3 risk flags

none

Results & Benchmarks

Freshness tier: hot

Direct + Inferred Evidence

Reinforcement learning

gemini-2.5-pro-preview-03-25

miniF2F

37.70

Source: paper fulltext

Reinforcement learning

Kimina-Prover-Preview

miniF2F

68.85

Source: paper fulltext

Generation

miniF2F

Accuracy

80.74

Split: test

Source: paper fulltext

Benchmark evidence drill-down

3 findings

Audit each benchmark finding before selecting an implementation path. Evidence refs map to the disclosure section below.

Task	Dataset	Metric	Value	Source	Evidence refs
Reinforcement learning	gemini-2.5-pro-preview-03-25	miniF2F	37.70	paper-derived	No explicit refs
Reinforcement learning	Kimina-Prover-Preview	miniF2F	68.85	paper-derived	No explicit refs
Generation	miniF2F	Accuracy	80.74	paper-derived	No explicit refs

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning presents a reinforcement learning method.

Use This Implementation Because…

Confidence: high

moonshotai/kimina-prover-preview is the strongest maintained implementation based on ranking signals.

Open moonshotai/kimina-prover-preview

Reproduction Risks

License metadata missing
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 100/100, grounding 95/100, status high.

Implementation Comparison

Top 3 paths

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

moonshotai/kimina-prover-preview

best maintained

Maintenance: Stale risk

Confidence: High

Reproducibility: Limited

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

Stars: 370
Last push: Jul 10, 2025 (330d ago)

Risk flags

No CI pipeline detected
No tagged releases
No Docker setup

cmu-l3/llmlean

alternative

Maintenance: Stale risk

Confidence: Low

Reproducibility: Limited

Community adoption signal (210 stars)

Stars: 210
Last push: Oct 10, 2025 (238d ago)

Risk flags

No CI pipeline detected
No tagged releases
No Docker setup

PAMF2/lawforge

alternative

Maintenance: Active

Confidence: Low

Reproducibility: Strong

Matched via arXiv identifier search

Stars: 1
Last push: Jun 3, 2026 (2d ago)

CIDependencies

Risk flags

No tagged releases
No Docker setup
Low confidence match

Best implementation now

moonshotai/kimina-prover-preview

Confidence: High

Reproducibility: Limited

Technical report of Kimina-Prover Preview.

Stars: 370

Forks: 24

Last push: Jul 10, 2025

Official implementation from Papers with Code

Repository link is mentioned in the paper metadata

Partial overlap with paper title keywords

Community adoption signal (370 stars)

License –

CI –

Deps –

Docker –

Selected moonshotai/kimina-prover-preview 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 5, 2026

Hardware requirements

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

No dependency manifest — manual reconstruction required

· moonshotai/kimina-prover-preview 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 330 days ago.

Open moonshotai/kimina-prover-preview