Kimina-Prover-RL
• 16
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
Papers
View all Papers Articles
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.1k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 24 • 5
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation • 0.8B • Updated • 47 • • 3
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 1.62k • • 7
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.35k • • 8
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 389 • • 34
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 5.87k • • 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.37k • • 18
AI-MO/NuminaMath-7B-TIR
Text Generation • 7B • Updated • 362 • 351
AI-MO/NuminaMath-72B-TIR
Text Generation • 73B • Updated • 15 • • 9
AI-MO/NuminaMath-72B-CoT
Text Generation • 73B • Updated • 55 • • 5
AI-MO/NuminaMath-7B-CoT
Text Generation • 7B • Updated • 515 • 26
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation • Updated • 6 • 7