đ§
Leanstral Rotorquant Mlx 4bit model by majentik
â 38.2
đŦTechnical Deep Dive
Full Specifications [+]
đ Daily sync (03:00 UTC)
AI Summary: Based on Hugging Face metadata. Not a recommendation.
đĄī¸ Model Transparency Report
Technical metadata sourced from upstream repositories.
Open Metadata
đ Identity & Source
- id
- hf-model--majentik--leanstral-rotorquant-mlx-4bit
- slug
- majentik--leanstral-rotorquant-mlx-4bit
- source
- huggingface
- author
- majentik
- license
- Apache-2.0
- tags
- mlx, safetensors, mistral3, rotorquant, kv-cache-quantization, 4-bit, weight-quantization, leanstral, lean4, formal-proofs, theorem-proving, quantized, apple-silicon, mistral, moe, text-generation, en, base_model:mistralai/leanstral-2603, base_model:quantized:mistralai/leanstral-2603, license:apache-2.0, region:us
âī¸ Technical Specs
- architecture
- null
- params billions
- 4
- context length
- 4,096
- pipeline tag
- text-generation
- vram gb
- 4.3
- vram is estimated
- true
- vram formula
- VRAM â (params * 0.75) + 0.8GB (KV) + 0.5GB (OS)
đ Engagement & Metrics
- downloads
- 20
- stars
- 0
- forks
- 0
Data indexed from public sources. Updated daily.