astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF

zetlyn/models-gguf quantisation gguf astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF hf Qwen/Qwen3.5-4B known 2026-09-24

https://huggingface.co/astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF

Properties

authorastral-expmath
receipt
Source
GGUF quantisations
Its words
astral-expmath
Read by
field:author
Said since
2026-09-28 11:46 UTC
Last answered
2026-10-04 18:16 UTC
Original
open at the source
What the source handed over
{
  "_id": "6ab57eda5fc6ac8aa669c713",
  "author": "astral-expmath",
  "cardData": {
    "base_model": "Qwen/Qwen3.5-4B",
    "language": [
      "en"
    ],
    "library_name": "gguf",
    "license": "apache-2.0",
    "pipeline_tag": "text-generation",
    "tags": [
      "agda",
      "autoformalization",
      "formal-mathematics",
      "theorem-proving",
      "gguf",
      "llama.cpp"
    ]
  },
  "createdAt": "2026-09-24T19:49:46.000Z",
  "downloads": 114,
  "gated": false,
  "id": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "lastModified": "2026-09-25T00:18:03.000Z",
  "library_name": "gguf",
  "likes": 0,
  "modelId": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "pipeline_tag": "text-generation",
  "private": false,
  "sha": "691d67f0d378908866803f0f3b0fadcec64dd99a",
  "siblings": [
    {
      "rfilename": ".gitattributes"
    },
    {
      "rfilename": "README.md"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q4_K_M.gguf"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q8_0.gguf"
    }
  ],
  "tags": [
    "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",
    "region:us",
    "imatrix"
  ]
}
baseQwen/Qwen3.5-4B
receipt
Source
GGUF quantisations
Its words
Qwen/Qwen3.5-4B
Read by
field:cardData.base_model[]
Said since
2026-09-28 11:46 UTC
Last answered
2026-10-04 18:16 UTC
Original
open at the source
What the source handed over
{
  "_id": "6ab57eda5fc6ac8aa669c713",
  "author": "astral-expmath",
  "cardData": {
    "base_model": "Qwen/Qwen3.5-4B",
    "language": [
      "en"
    ],
    "library_name": "gguf",
    "license": "apache-2.0",
    "pipeline_tag": "text-generation",
    "tags": [
      "agda",
      "autoformalization",
      "formal-mathematics",
      "theorem-proving",
      "gguf",
      "llama.cpp"
    ]
  },
  "createdAt": "2026-09-24T19:49:46.000Z",
  "downloads": 114,
  "gated": false,
  "id": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "lastModified": "2026-09-25T00:18:03.000Z",
  "library_name": "gguf",
  "likes": 0,
  "modelId": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "pipeline_tag": "text-generation",
  "private": false,
  "sha": "691d67f0d378908866803f0f3b0fadcec64dd99a",
  "siblings": [
    {
      "rfilename": ".gitattributes"
    },
    {
      "rfilename": "README.md"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q4_K_M.gguf"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q8_0.gguf"
    }
  ],
  "tags": [
    "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",
    "region:us",
    "imatrix"
  ]
}
downloads114
receipt
Source
GGUF quantisations
Its words
114
Read by
field:downloads
Said since
2026-09-28 11:46 UTC
Last answered
2026-10-04 18:16 UTC
Original
open at the source
What the source handed over
{
  "_id": "6ab57eda5fc6ac8aa669c713",
  "author": "astral-expmath",
  "cardData": {
    "base_model": "Qwen/Qwen3.5-4B",
    "language": [
      "en"
    ],
    "library_name": "gguf",
    "license": "apache-2.0",
    "pipeline_tag": "text-generation",
    "tags": [
      "agda",
      "autoformalization",
      "formal-mathematics",
      "theorem-proving",
      "gguf",
      "llama.cpp"
    ]
  },
  "createdAt": "2026-09-24T19:49:46.000Z",
  "downloads": 114,
  "gated": false,
  "id": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "lastModified": "2026-09-25T00:18:03.000Z",
  "library_name": "gguf",
  "likes": 0,
  "modelId": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "pipeline_tag": "text-generation",
  "private": false,
  "sha": "691d67f0d378908866803f0f3b0fadcec64dd99a",
  "siblings": [
    {
      "rfilename": ".gitattributes"
    },
    {
      "rfilename": "README.md"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q4_K_M.gguf"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q8_0.gguf"
    }
  ],
  "tags": [
    "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",
    "region:us",
    "imatrix"
  ]
}
licenceapache-2.0
receipt
Source
GGUF quantisations
Its words
apache-2.0
Read by
field:cardData.license
Said since
2026-09-28 11:46 UTC
Last answered
2026-10-04 18:16 UTC
Original
open at the source
What the source handed over
{
  "_id": "6ab57eda5fc6ac8aa669c713",
  "author": "astral-expmath",
  "cardData": {
    "base_model": "Qwen/Qwen3.5-4B",
    "language": [
      "en"
    ],
    "library_name": "gguf",
    "license": "apache-2.0",
    "pipeline_tag": "text-generation",
    "tags": [
      "agda",
      "autoformalization",
      "formal-mathematics",
      "theorem-proving",
      "gguf",
      "llama.cpp"
    ]
  },
  "createdAt": "2026-09-24T19:49:46.000Z",
  "downloads": 114,
  "gated": false,
  "id": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "lastModified": "2026-09-25T00:18:03.000Z",
  "library_name": "gguf",
  "likes": 0,
  "modelId": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "pipeline_tag": "text-generation",
  "private": false,
  "sha": "691d67f0d378908866803f0f3b0fadcec64dd99a",
  "siblings": [
    {
      "rfilename": ".gitattributes"
    },
    {
      "rfilename": "README.md"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q4_K_M.gguf"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q8_0.gguf"
    }
  ],
  "tags": [
    "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",
    "region:us",
    "imatrix"
  ]
}
likes0
receipt
Source
GGUF quantisations
Its words
0
Read by
field:likes
Said since
2026-09-28 11:46 UTC
Last answered
2026-10-04 18:16 UTC
Original
open at the source
What the source handed over
{
  "_id": "6ab57eda5fc6ac8aa669c713",
  "author": "astral-expmath",
  "cardData": {
    "base_model": "Qwen/Qwen3.5-4B",
    "language": [
      "en"
    ],
    "library_name": "gguf",
    "license": "apache-2.0",
    "pipeline_tag": "text-generation",
    "tags": [
      "agda",
      "autoformalization",
      "formal-mathematics",
      "theorem-proving",
      "gguf",
      "llama.cpp"
    ]
  },
  "createdAt": "2026-09-24T19:49:46.000Z",
  "downloads": 114,
  "gated": false,
  "id": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "lastModified": "2026-09-25T00:18:03.000Z",
  "library_name": "gguf",
  "likes": 0,
  "modelId": "astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF",
  "pipeline_tag": "text-generation",
  "private": false,
  "sha": "691d67f0d378908866803f0f3b0fadcec64dd99a",
  "siblings": [
    {
      "rfilename": ".gitattributes"
    },
    {
      "rfilename": "README.md"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q4_K_M.gguf"
    },
    {
      "rfilename": "qwen3.5-4b-agda-autoformalize-context-Q8_0.gguf"
    }
  ],
  "tags": [
    "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",
    "region:us",
    "imatrix"
  ]
}

Text

This source's terms allow its title, its values and a link here, not its text. It is at https://huggingface.co/astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF.