The AI-MO/Kimina-Autoformalizer-7B galaxy

5 models are built on AI-MO/Kimina-Autoformalizer-7B: 3 quantized, 2 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 1,383 times in the last 30 days.

Most downloaded direct derivatives

• DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF (quantized), 457 downloads in 30 days
• mradermacher/Kimina-Autoformalizer-7B-GGUF (quantized), 422 downloads in 30 days
• sorgfresser/testtrainsft (finetune), 23 downloads in 30 days
• sorgfresser/kiminaembedbeta (finetune), 4 downloads in 30 days