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