ENTITY NuminaMath-LEAN

NuminaMath-LEAN

PulseAugur coverage of NuminaMath-LEAN — every cluster mentioning NuminaMath-LEAN across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_322526 · Aug 14 · 12:13

Open-source pipeline trains Lean 4 theorem provers, sets new benchmarks · 1 source tracked

Hugging Face has released Kimina-Prover-RL, an open-source training pipeline for formal theorem proving in the Lean 4 programming language. This pipeline, inspired by DeepSeek-R1 and utilizing the GRPO reinforcement lea…