DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF download history

DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF is a text generation model by DevQuasar. In the last 30 days it was downloaded 457 times (40 in the last 7 days), and 2,069 times in total.

It ranks #77,673 on the Hub by monthly downloads and #18,776 among text generation models.

It has 1 likes.

It is a quantization of AI-MO/Kimina-Autoformalizer-7B.

Open DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF on Hugging Face