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