DevQuasar
/

AI-MO.Kimina-Autoformalizer-7B-GGUF

Text Generation

Model card Files Files and versions

Quantized version of: AI-MO/Kimina-Autoformalizer-7B

'Make knowledge free for everyone'

Made with

Downloads last month: 22

GGUF

Model size

8B params

Architecture

qwen2

Hardware compatibility

Log In to add your hardware

2-bit

3-bit

4-bit

5-bit

6-bit

8-bit

16-bit

Model tree for DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF

Base model

Qwen/Qwen2.5-7B

Finetuned

Qwen/Qwen2.5-Coder-7B

Finetuned

Qwen/Qwen2.5-Coder-7B-Instruct

Finetuned

AI-MO/Kimina-Autoformalizer-7B

Quantized

(2)

this model