{"id":"cab8f109-a3ec-4c25-976c-9e7ecd9aa399","slug":"hf-model-majentik-leanstral-rotorquant-mlx-8bit-ad9mvh-12","name":"Leanstral-RotorQuant-MLX-8bit","description":"Hugging Face model majentik/Leanstral-RotorQuant-MLX-8bit. Task: text generation. Library: mlx. 20 downloads.","capabilities":["mlx","safetensors","mistral3","rotorquant","kv-cache-quantization","8bit","weight-quantization","leanstral","lean4","formal-proofs","theorem-proving","quantized","apple-silicon","mistral","moe","text-generation","arxiv:2504.19874","base_model:mistralai/Leanstral-2603","base_model:quantized:mistralai/Leanstral-2603","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:50.690Z"}