Hugging Face's logo

majentik
/
Leanstral-RotorQuant-MLX-2bit

MLX
Safetensors
mistral3
rotorquant
kv-cache-quantization
2-bit
weight-quantization
leanstral
lean4
formal-proofs
theorem-proving
quantized
apple-silicon
mistral
Mixture of Experts
Model card Files
xet
 Community
Leanstral-RotorQuant-MLX-2bit
75.2 GB
  • 1 contributor
 History: 3 commits
majentik's picture
majentik
Add MLX quantized model weights
b85864d verified