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.12k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 27 • 5
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation • 0.8B • Updated • 50 • • 3
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 1.61k • • 7
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.34k • • 8
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 388 • • 34
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 6.1k • • 35
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 1.22k • • 12
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.37k • • 18
AI-MO/NuminaMath-7B-TIR
Text Generation • 7B • Updated • 370 • 351
AI-MO/NuminaMath-72B-TIR
Text Generation • 73B • Updated • 15 • • 9
AI-MO/NuminaMath-72B-CoT
Text Generation • 73B • Updated • 55 • • 4
AI-MO/NuminaMath-7B-CoT
Text Generation • 7B • Updated • 502 • 26
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation • Updated • 6 • 7