project-numina/Kimina-Prover-Distill-0.6B
Text Generation • 0.8B • Updated • 496 • • 3
Kimina Prover
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
-
-
project-numina/Kimina-Prover-RL-0.6B
0.8B • Updated • 61 • 5 -
project-numina/Kimina-Prover-RL-1.7B
2B • Updated • 168 • 11 -
project-numina/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 627 • • 7 -
project-numina/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 623 • • 8 -
project-numina/Kimina-Prover-72B
Text Generation • 73B • Updated • 120 • 35 -
project-numina/NuminaMath-LEAN
Viewer • Updated • 104k • 2.28k • 63 -
project-numina/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 523 • 3