Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
majentik
/
Leanstral-RotorQuant-MLX-2bit
like
0
MLX
Safetensors
mistral3
rotorquant
kv-cache-quantization
2-bit
weight-quantization
leanstral
lean4
formal-proofs
theorem-proving
quantized
apple-silicon
mistral
Mixture of Experts
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
Leanstral-RotorQuant-MLX-2bit
/
.gitattributes
Commit History
Add MLX quantized model weights
b85864d
verified
majentik
commited on
2 days ago
initial commit
c00cf09
verified
majentik
commited on
3 days ago
majentik commited on 