Verified record · from the answer index

Kimina-Prover-Preview-Distill-1.5B

modeltested · static-verifiedscore 28/100signed passport ✓published 555d ago · verified 2026-10-20574 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-Preview-Distill-1.5B · published by ai-mo