{"id":"70d2386b-db4d-4cae-bfe3-c9d6816149d8","slug":"hf-model-irfanuruchi-mathform-8b-mlx-8bit-d0qgvh-w","name":"MathForm-8B-MLX-8bit","description":"Hugging Face model Irfanuruchi/MathForm-8B-MLX-8bit. Library: mlx. 21 downloads.","capabilities":["mlx","safetensors","qwen3","math","lean","lean4","formalization","apple-silicon","base_model:openbmb/MathForm-8B","base_model:quantized:openbmb/MathForm-8B","license:apache-2.0","8-bit"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:40.398Z"}