Kimina-Prover-RL
• 16
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
Papers
View all Papers Articles
models 14
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.16k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 21 • 5
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation • 0.8B • Updated • 42 • • 3
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 1.57k • • 7
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.38k • • 8
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 389 • • 34
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 2.8k • • 35
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 1.24k • • 12
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.47k • • 18
AI-MO/NuminaMath-7B-TIR
Text Generation • 7B • Updated • 352 • 351
datasets 17
AI-MO/B2-UniMath
Viewer • Updated • 4.29M • 59
AI-MO/aops
Viewer • Updated • 80.7k • 1.32k • 6
AI-MO/NuminaMath-1.5
Viewer • Updated • 896k • 6.62k • 186
AI-MO/olympiads-ref-base
Viewer • Updated • 13.1k • 185 • 2
AI-MO/olympiads
Preview • Updated • 26.7k • 5
AI-MO/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 166 • 2
AI-MO/NuminaMath-LEAN
Viewer • Updated • 104k • 555 • 57
AI-MO/GeometryLeanBench
Viewer • Updated • 122 • 59 • 1
AI-MO/CombiBench
Viewer • Updated • 200 • 178 • 12
AI-MO/minif2f_test
Viewer • Updated • 244 • 498 • 9