Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
majentik
/
Leanstral-TurboQuant
like
0
Text Generation
Transformers
English
turboquant
kv-cache-quantization
mistral
Mixture of Experts
lean4
formal-proofs
quantized
arxiv:
2504.19874
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
Leanstral-TurboQuant
6.72 kB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
majentik
chore(card): enrich YAML frontmatter (pipeline_tag, language, library_name, inference)
14d7fec
verified
about 16 hours ago
.gitattributes
Safe
1.52 kB
initial commit
5 days ago
README.md
5.2 kB
chore(card): enrich YAML frontmatter (pipeline_tag, language, library_name, inference)
about 16 hours ago