Verified record · from the answer index
Kimina-Prover-Distill-0.6B
modeltested · static-verifiedscore 29/100signed passport ✓published 433d ago · verified 2026-10-20851 monthly downloads
text generation model · runs with transformers · by AI-MO. Served live by featherless-ai.
Declared tools (1)
text-generation
model:AI-MO/Kimina-Prover-Distill-0.6B · published by ai-mo