Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
majentik
/
Leanstral-TurboQuant
like
0
Transformers
turboquant
kv-cache-quantization
leanstral
lean4
formal-proofs
theorem-proving
quantized
mistral
Mixture of Experts
arxiv:
2504.19874
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
Leanstral-TurboQuant
/
README.md
Commit History
Add model card
76ada0a
verified
majentik
commited on
3 days ago
majentik commited on 