project-numina/Kimina-Prover-Preview-Distill-7B Text Generation • 8B • Updated Apr 17, 2025 • 202 • • 36
Open-Reasoner-Zero/Open-Reasoner-Zero-7B Reinforcement Learning • 8B • Updated Apr 7, 2025 • 1.26k • 34