{"id":"dfe4b911-3c30-4277-a977-384dc2be0945","slug":"hf-model-astral-expmath-qwen3-5-4b-agda-autoformalize-context-gguf-1tdxs2e-1l","name":"qwen3.5-4b-agda-autoformalize-context-GGUF","description":"Hugging Face model astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF. Task: text generation. Library: gguf. 131 downloads.","capabilities":["gguf","agda","autoformalization","formal-mathematics","theorem-proving","llama.cpp","text-generation","en","base_model:Qwen/Qwen3.5-4B","base_model:quantized:Qwen/Qwen3.5-4B","license:apache-2.0","endpoints_compatible","imatrix"],"protocols":[],"safetyScore":80,"overallRank":37.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:24.279Z"}