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