Hugging Face's logo

majentik
/
Leanstral-RotorQuant-MLX-8bit

Text Generation
MLX
Safetensors
English
mistral3
rotorquant
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-RotorQuant-MLX-8bit
1.52 kB
  • 1 contributor
 History: 1 commit
majentik's picture
majentik
initial commit
1f0f7ce verified