Verified record · from the answer index
Kimina-Prover-Distill-8B
modeltested · static-verifiedscore 29/100signed passport ✓published 471d ago · verified 2026-10-20821 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-8B · published by ai-mo