Kimina-Prover-RL
• 17
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Papers
View all Papers Articles
State-of-the-Art Models for Formal Mathematical Reasoning
-
project-numina/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 584 • • 12 -
project-numina/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 196 • • 36 -
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9 -
project-numina/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 133 • • 21
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
State-of-the-Art Models for Formal Mathematical Reasoning
-
project-numina/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 584 • • 12 -
project-numina/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 196 • • 36 -
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9 -
project-numina/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 133 • • 21
models 14
project-numina/Kimina-Prover-RL-1.7B
2B • Updated • 113 • 11
project-numina/Kimina-Prover-RL-0.6B
0.8B • Updated • 57 • 5
project-numina/Kimina-Prover-Distill-0.6B
Text Generation • 0.8B • Updated • 617 • • 3
project-numina/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 455 • • 7
project-numina/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 502 • • 7
project-numina/Kimina-Prover-72B
Text Generation • 73B • Updated • 118 • 35
project-numina/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 196 • • 36
project-numina/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 584 • • 12
project-numina/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 133 • • 21
project-numina/NuminaMath-7B-TIR
Text Generation • 7B • Updated • 4.5k • 352
datasets 17
project-numina/PolyUniMath
Viewer • Updated • 4.29M • 261 • 1
project-numina/aops
Viewer • Updated • 80.7k • 31.6k • 9
project-numina/NuminaMath-1.5
Viewer • Updated • 896k • 61.9k • 206
project-numina/olympiads-ref-base
Viewer • Updated • 13.1k • 329 • 2
project-numina/olympiads
Viewer • Updated • 13.1k • 120k • 19
project-numina/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 667 • 3
project-numina/NuminaMath-LEAN
Viewer • Updated • 104k • 2.38k • 63
project-numina/GeometryLeanBench
Viewer • Updated • 122 • 100 • 1
project-numina/CombiBench
Viewer • Updated • 200 • 448 • 12
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9