Hugging Face's logo

majentik
/
Leanstral-RotorQuant-MLX-2bit

Text Generation
MLX
Safetensors
English
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 / model-00022-of-00028.safetensors
majentik's picture
majentik
Add MLX quantized model weights
b85864d verified
download
history blame contribute delete
2.75 GB
This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )
Xet hash:
1dc159f5fd1c27d7b020edda3dcbb6dba6b64fe5a0c8f834b27f4ecd46c3e4be
Size of remote file:
2.75 GB
·
SHA256:
e1b12078af4c1bd58a44adbaaad385b1edb5f1ddd9cf94d84c8c5a04d6235d74

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.