coq-mathcomp-policy : GGUF

• For text only LLMs: llama-cli -hf EdHR/coq-mathcomp-policy --jinja
• For multimodal models: llama-mtmd-cli -hf EdHR/coq-mathcomp-policy --jinja

Available Model files:

• qwen2.5-1.5b.Q4_K_M.gguf
• qwen2.5-1.5b.Q8_0.gguf This was trained 2x faster with Unsloth