{"id":"6427a279-891c-4337-8498-f4c393261ac7","slug":"hf-model-dots123-qwen-7b-theorem-engine-v3-mlx-q4-ifxtpd-14","name":"qwen-7b-theorem-engine-v3-mlx-q4","description":"Hugging Face model dots123/qwen-7b-theorem-engine-v3-mlx-q4. Task: text generation. Library: mlx. 32 downloads.","capabilities":["mlx","safetensors","qwen2","4-bit","mathematics","theorem-correction","text-generation","conversational","en","dataset:dots123/theorem-engine-v3-training-data","base_model:Qwen/Qwen2.5-7B-Instruct","base_model:quantized:Qwen/Qwen2.5-7B-Instruct"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:38.255Z"}