{"id":"9afa2982-c40e-4eba-8421-dfe61013c52b","slug":"hf-model-majentik-leanstral-turboquant-mlx-2bit-uc71b1-12","name":"Leanstral-TurboQuant-MLX-2bit","description":"Hugging Face model majentik/Leanstral-TurboQuant-MLX-2bit. Task: text generation. Library: mlx. 66 downloads.","capabilities":["mlx","safetensors","mistral3","turboquant","kv-cache-quantization","2-bit","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":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:52.290Z"}