AI-MO/Kimina-Autoformalizer-7B download history
AI-MO/Kimina-Autoformalizer-7B is a 7.6B-parameter text generation model by AI-MO. In the last 30 days it was downloaded 449 times (64 in the last 7 days), and 21,159 times in total.
It ranks #78,703 on the Hub by monthly downloads and #19,039 among text generation models.
It has 21 likes.
It is a fine-tune of Qwen/Qwen2.5-Coder-7B-Instruct.
5 models build on Kimina-Autoformalizer-7B: 3 quantized, 2 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 1,383 times in the last 30 days. See the Kimina-Autoformalizer-7B galaxy.
Most downloaded 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