Hugging Face's logo

majentik
/
Leanstral-TurboQuant

Transformers
turboquant
kv-cache-quantization
leanstral
lean4
formal-proofs
theorem-proving
quantized
mistral
Mixture of Experts
Model card Files
xet
 Community
Leanstral-TurboQuant
5.45 kB
  • 1 contributor
 History: 2 commits
majentik's picture
majentik
Add model card
76ada0a verified