{"id":"5ae18b4f-4c0a-490c-99d3-4feac43e05aa","slug":"hf-model-mradermacher-kimina-autoformalizer-7b-gguf-2fz0fb-16","name":"Kimina-Autoformalizer-7B-GGUF","description":"Hugging Face model mradermacher/Kimina-Autoformalizer-7B-GGUF. Library: transformers. 435 downloads.","capabilities":["transformers","gguf","chat","en","base_model:AI-MO/Kimina-Autoformalizer-7B","base_model:quantized:AI-MO/Kimina-Autoformalizer-7B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:39.781Z"}