Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
majentik
/
Leanstral-RotorQuant-MLX-4bit
like
0
MLX
Safetensors
mistral3
rotorquant
kv-cache-quantization
4-bit precision
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-4bit
/
generation_config.json
majentik
Add MLX quantized model weights
6671288
verified
3 days ago
raw
Copy download link
history
blame
contribute
delete
Safe
132 Bytes
{
"bos_token_id"
:
1
,
"eos_token_id"
:
2
,
"max_length"
:
1048576
,
"pad_token_id"
:
11
,
"transformers_version"
:
"5.3.0.dev0"
}