{"id":"ccdfce3f-e7bc-41ec-a1bd-3266868d6fb7","slug":"hf-model-devquasar-ai-mo-kimina-autoformalizer-7b-gguf-1xw3x2h-19","name":"AI-MO.Kimina-Autoformalizer-7B-GGUF","description":"Hugging Face model DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF. Task: text generation. 365 downloads. 1 likes.","capabilities":["gguf","text-generation","base_model:AI-MO/Kimina-Autoformalizer-7B","base_model:quantized:AI-MO/Kimina-Autoformalizer-7B","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:44.150Z"}