Hugging Face model: DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF
Author: DevQuasar
Created: 2025-04-16 16:21:03
Last modified: 2025-07-16 23:28:29
Pipeline: text-generation
Likes: 1 | Downloads: 79
Tags: gguf, text-generation, base_model:AI-MO/Kimina-Autoformalizer-7B, base_model:quantized:AI-MO/Kimina-Autoformalizer-7B, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: AI-MO/Kimina-Autoformalizer-7B
Card metadata:
base_model: AI-MO/Kimina-Autoformalizer-7B
pipeline_tag: text-generation