Model: mradermacher/sft_0.5B-GGUF
Author: mradermacher
Pipeline: reinforcement-learning
Library: transformers
Tags: transformers, gguf, code-generation, formal-verification, reinforcement-learning, dafny, en, base_model:Veri-Code/ReForm-SFT-0.5B, base_model:quantized:Veri-Code/ReForm-SFT-0.5B, license:mit, endpoints_compatible, region:us, conversational
Base models (quantized): id: Veri-Code/ReForm-SFT-0.5B
Card metadata: base_model: Veri-Code/ReForm-SFT-0.5B
language: en
library_name: transformers
license: mit
mradermacher: readme_rev: 1
quantized_by: mradermacher
tags: code-generation, formal-verification, reinforcement-learning, dafny
Likes: 0 | All-time downloads: 596
Created: 2025-07-21 09:20:21