GraySoft
Projects Models About FAQ Contact Download guIDE →
Model Intelligence Sheet

mradermacher/reform-sft-1.5b-i1-gguf overview

About weighted/imatrix quants of https://huggingface.co/Veri-Code/ReForm-SFT-1.5B For a convenient overview and download list, visit our model page for this model. static quants are available at https://huggingface.co/mradermacher/ReForm-SFT-1.5B-GGUF

transformersggufcode-generationreinforcement-learningformal-verificationqwen2enbase_model:Veri-Code/ReForm-SFT-1.5Bbase_model:quantized:Veri-Code/ReForm-SFT-1.5Blicense:mitendpoints_compatibleregion:usimatrixconversational
mradermacher/reform-sft-1.5b-i1-gguf visual
Downloads
145
Likes
0
Pipeline
reinforcement-learning
Library
transformers
Visibility
Public
Access
Open

Repository Files & Downloads

25 files detected
Direct downloads for all repository files
FileTypeQuantizationSizeLink
ReForm-SFT-1.5B.i1-IQ1_M.gguf GGUF IQ1_M 515.97 MB Download
ReForm-SFT-1.5B.i1-IQ1_S.gguf GGUF IQ1_S 489.33 MB Download
ReForm-SFT-1.5B.i1-IQ2_M.gguf GGUF IQ2_M 668.84 MB Download
ReForm-SFT-1.5B.i1-IQ2_S.gguf GGUF IQ2_S 633.32 MB Download
ReForm-SFT-1.5B.i1-IQ2_XS.gguf GGUF IQ2_XS 597.86 MB Download
ReForm-SFT-1.5B.i1-IQ2_XXS.gguf GGUF IQ2_XXS 560.37 MB Download
ReForm-SFT-1.5B.i1-IQ3_M.gguf GGUF IQ3_M 836.32 MB Download
ReForm-SFT-1.5B.i1-IQ3_S.gguf GGUF IQ3_S 822.72 MB Download
ReForm-SFT-1.5B.i1-IQ3_XS.gguf GGUF IQ3_XS 793.44 MB Download
ReForm-SFT-1.5B.i1-IQ3_XXS.gguf GGUF IQ3_XXS 733.44 MB Download
ReForm-SFT-1.5B.i1-IQ4_NL.gguf GGUF IQ4_NL 1018.15 MB Download
ReForm-SFT-1.5B.i1-IQ4_XS.gguf GGUF IQ4_XS 972.47 MB Download
ReForm-SFT-1.5B.i1-Q2_K.gguf GGUF Q2_K 718.00 MB Download
ReForm-SFT-1.5B.i1-Q2_K_S.gguf GGUF Q2_K_S 683.51 MB Download
ReForm-SFT-1.5B.i1-Q3_K_L.gguf GGUF Q3_K_L 935.02 MB Download
ReForm-SFT-1.5B.i1-Q3_K_M.gguf GGUF Q3_K_M 881.63 MB Download
ReForm-SFT-1.5B.i1-Q3_K_S.gguf GGUF Q3_K_S 821.33 MB Download
ReForm-SFT-1.5B.i1-Q4_0.gguf GGUF 1019.30 MB Download
ReForm-SFT-1.5B.i1-Q4_1.gguf GGUF 1.08 GB Download
ReForm-SFT-1.5B.i1-Q4_K_M.gguf GGUF Q4_K_M 1.04 GB Download
ReForm-SFT-1.5B.i1-Q4_K_S.gguf GGUF Q4_K_S 1021.94 MB Download
ReForm-SFT-1.5B.i1-Q5_K_M.gguf GGUF Q5_K_M 1.20 GB Download
ReForm-SFT-1.5B.i1-Q5_K_S.gguf GGUF Q5_K_S 1.17 GB Download
ReForm-SFT-1.5B.i1-Q6_K.gguf GGUF Q6_K 1.36 GB Download
ReForm-SFT-1.5B.imatrix.gguf GGUF 1.97 MB Download

Model Details Live

Model Slug
mradermacher/reform-sft-1.5b-i1-gguf
Author
mradermacher
Pipeline Task
reinforcement-learning
Library
transformers
Created
2025-07-26
Last Modified
2025-12-18
Gated
No
Private
No
HF SHA
b4193fb0536ff65e67356b5a9e5ec6ae1a167463
License
mit
Language
en
Base Model
Veri-Code/ReForm-SFT-1.5B

Metadata Inspector

Normalized metadata (stored in metadata_json)
{
  "metadata": {},
  "card_data": {
    "base_model": "Veri-Code/ReForm-SFT-1.5B",
    "language": [
      "en"
    ],
    "library_name": "transformers",
    "license": "mit",
    "mradermacher": {
      "readme_rev": 1
    },
    "quantized_by": "mradermacher",
    "tags": [
      "code-generation",
      "reinforcement-learning",
      "formal-verification",
      "qwen2"
    ],
    "frontmatter": {
      "base_model": "Veri-Code/ReForm-SFT-1.5B",
      "language": [
        "en"
      ],
      "library_name": "transformers",
      "license": "mit",
      "mradermacher": [],
      "quantized_by": "mradermacher",
      "tags": [
        "code-generation",
        "reinforcement-learning",
        "formal-verification",
        "qwen2"
      ]
    },
    "hero_image_url": "https://www.nethype.de/huggingface_embed/quantpplgraph.png",
    "summary": "## About         weighted/imatrix quants of https://huggingface.co/Veri-Code/ReForm-SFT-1.5B  ***For a convenient overview and download list, visit our model page for this model.*** static quants are available at https://huggingface.co/mradermacher/ReForm-SFT-1.5B-GGUF",
    "quick_links": [],
    "benchmark_table_html": "",
    "readme_markdown": "---\nbase_model: Veri-Code/ReForm-SFT-1.5B\nlanguage:\n- en\nlibrary_name: transformers\nlicense: mit\nmradermacher:\n  readme_rev: 1\nquantized_by: mradermacher\ntags:\n- code-generation\n- reinforcement-learning\n- formal-verification\n- qwen2\n---\n## About\n\n<!-- ### quantize_version: 2 -->\n<!-- ### output_tensor_quantised: 1 -->\n<!-- ### convert_type: hf -->\n<!-- ### vocab_type:  -->\n<!-- ### tags: nicoboss -->\n<!-- ### quants: Q2_K IQ3_M Q4_K_S IQ3_XXS Q3_K_M small-IQ4_NL Q4_K_M IQ2_M Q6_K IQ4_XS Q2_K_S IQ1_M Q3_K_S IQ2_XXS Q3_K_L IQ2_XS Q5_K_S IQ2_S IQ1_S Q5_K_M Q4_0 IQ3_XS Q4_1 IQ3_S -->\n<!-- ### quants_skip:  -->\n<!-- ### skip_mmproj:  -->\nweighted/imatrix quants of https://huggingface.co/Veri-Code/ReForm-SFT-1.5B\n\n<!-- provided-files -->\n\n***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#ReForm-SFT-1.5B-i1-GGUF).***\n\nstatic quants are available at https://huggingface.co/mradermacher/ReForm-SFT-1.5B-GGUF\n## Usage\n\nIf you are unsure how to use GGUF files, refer to one of [TheBloke's\nREADMEs](https://huggingface.co/TheBloke/KafkaLM-70B-German-V0.1-GGUF) for\nmore details, including on how to concatenate multi-part files.\n\n## Provided Quants\n\n(sorted by size, not necessarily quality. IQ-quants are often preferable over similar sized non-IQ quants)\n\n| Link | Type | Size/GB | Notes |\n|:-----|:-----|--------:|:------|\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.imatrix.gguf) | imatrix | 0.1 | imatrix file (for creating your own quants) |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ1_S.gguf) | i1-IQ1_S | 0.6 | for the desperate |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ1_M.gguf) | i1-IQ1_M | 0.6 | mostly desperate |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ2_XXS.gguf) | i1-IQ2_XXS | 0.7 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ2_XS.gguf) | i1-IQ2_XS | 0.7 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ2_S.gguf) | i1-IQ2_S | 0.8 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ2_M.gguf) | i1-IQ2_M | 0.8 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q2_K_S.gguf) | i1-Q2_K_S | 0.8 | very low quality |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q2_K.gguf) | i1-Q2_K | 0.9 | IQ3_XXS probably better |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ3_XXS.gguf) | i1-IQ3_XXS | 0.9 | lower quality |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ3_XS.gguf) | i1-IQ3_XS | 0.9 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q3_K_S.gguf) | i1-Q3_K_S | 1.0 | IQ3_XS probably better |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ3_S.gguf) | i1-IQ3_S | 1.0 | beats Q3_K* |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ3_M.gguf) | i1-IQ3_M | 1.0 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q3_K_M.gguf) | i1-Q3_K_M | 1.0 | IQ3_S probably better |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q3_K_L.gguf) | i1-Q3_K_L | 1.1 | IQ3_M probably better |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ4_XS.gguf) | i1-IQ4_XS | 1.1 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-IQ4_NL.gguf) | i1-IQ4_NL | 1.2 | prefer IQ4_XS |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q4_0.gguf) | i1-Q4_0 | 1.2 | fast, low quality |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q4_K_S.gguf) | i1-Q4_K_S | 1.2 | optimal size/speed/quality |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q4_K_M.gguf) | i1-Q4_K_M | 1.2 | fast, recommended |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q4_1.gguf) | i1-Q4_1 | 1.3 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q5_K_S.gguf) | i1-Q5_K_S | 1.4 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q5_K_M.gguf) | i1-Q5_K_M | 1.4 |  |\n| [GGUF](https://huggingface.co/mradermacher/ReForm-SFT-1.5B-i1-GGUF/resolve/main/ReForm-SFT-1.5B.i1-Q6_K.gguf) | i1-Q6_K | 1.6 | practically like static Q6_K |\n\nHere is a handy graph by ikawrakow comparing some lower-quality quant\ntypes (lower is better):\n\n![image.png](https://www.nethype.de/huggingface_embed/quantpplgraph.png)\n\nAnd here are Artefact2's thoughts on the matter:\nhttps://gist.github.com/Artefact2/b5f810600771265fc1e39442288e8ec9\n\n## FAQ / Model Request\n\nSee https://huggingface.co/mradermacher/model_requests for some answers to\nquestions you might have and/or if you want some other model quantized.\n\n## Thanks\n\nI thank my company, [nethype GmbH](https://www.nethype.de/), for letting\nme use its servers and providing upgrades to my workstation to enable\nthis work in my free time. Additional thanks to [@nicoboss](https://huggingface.co/nicoboss) for giving me access to his private supercomputer, enabling me to provide many more imatrix quants, at much higher quality, than I would otherwise be able to.\n\n<!-- end -->\n",
    "related_quantizations": []
  },
  "tags": [
    "transformers",
    "gguf",
    "code-generation",
    "reinforcement-learning",
    "formal-verification",
    "qwen2",
    "en",
    "base_model:Veri-Code/ReForm-SFT-1.5B",
    "base_model:quantized:Veri-Code/ReForm-SFT-1.5B",
    "license:mit",
    "endpoints_compatible",
    "region:us",
    "imatrix",
    "conversational"
  ],
  "likes": 0,
  "downloads": 145,
  "gated": false,
  "private": false,
  "last_modified": "2025-12-18T01:55:53.000Z",
  "created_at": "2025-07-26T18:07:50.000Z",
  "pipeline_tag": "reinforcement-learning",
  "library_name": "transformers"
}
Source payload excerpt (from Hugging Face API)
{
  "_id": "688519768fd9d747cee95e47",
  "id": "mradermacher/ReForm-SFT-1.5B-i1-GGUF",
  "modelId": "mradermacher/ReForm-SFT-1.5B-i1-GGUF",
  "sha": "b4193fb0536ff65e67356b5a9e5ec6ae1a167463",
  "createdAt": "2025-07-26T18:07:50.000Z",
  "lastModified": "2025-12-18T01:55:53.000Z",
  "author": "mradermacher",
  "downloads": 145,
  "likes": 0,
  "gated": false,
  "private": false,
  "pipeline_tag": "reinforcement-learning",
  "library_name": "transformers",
  "siblings_count": 27
}