Hugging Face's logo

majentik
/
Leanstral-TurboQuant-MLX-8bit

Text Generation
MLX
Safetensors
mistral3
turboquant
kv-cache-quantization
8bit
weight-quantization
leanstral
lean4
formal-proofs
theorem-proving
quantized
apple-silicon
mistral
Mixture of Experts
8-bit precision
Model card Files
xet
 Community
Leanstral-TurboQuant-MLX-8bit

Commit History

Add MLX 8-bit quantized model with KV cache compression
24a37dc
verified

majentik commited on

initial commit
273f150
verified

majentik commited on