Hugging Face model: mradermacher/ReForm-SFT-3B-i1-GGUF
Author: mradermacher
Created: 2025-07-26 13:39:44
Last modified: 2025-12-18 01:58:46
Pipeline: reinforcement-learning
Library: transformers
Likes: 0 | Downloads: 173
Tags: transformers, gguf, code-generation, reinforcement-learning, formal-verification, dafny, en, base_model:Veri-Code/ReForm-SFT-3B, base_model:quantized:Veri-Code/ReForm-SFT-3B, license:mit, endpoints_compatible, region:us, imatrix, conversational
Base model relation: quantized
Base models: id: Veri-Code/ReForm-SFT-3B
Card metadata:
base_model: Veri-Code/ReForm-SFT-3B
language: en
library_name: transformers
license: mit
mradermacher: readme_rev: 1
quantized_by: mradermacher
tags: code-generation, reinforcement-learning, formal-verification, dafny