AI-MO/Kimina-Prover-Distill-0.6B
Text Generation
•
0.8B
•
Updated
•
859
•
1
Kimina Prover
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
-
-
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 214 • 4 -
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 7.62k • 8 -
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 4.03k • • 7 -
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.4k • • 8 -
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 360k • • 31 -
AI-MO/NuminaMath-LEAN
Viewer • Updated • 104k • 509 • 47 -
AI-MO/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 112 • 1