project-numina/Kimina-Prover-Preview-Distill-7B Text Generation • 8B • Updated Apr 17, 2025 • 203 • • 36