Hugging Face model: Veri-Code/ReForm-SFT-14B
Author: Veri-Code
Created: 2025-07-20 09:21:56
Last modified: 2026-05-07 12:27:27
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 28
Tags: transformers, safetensors, qwen2, text-generation, code-generation, reinforcement-learning, formal-methods, dafny, conversational, arxiv:2507.16331, license:mit, text-generation-inference, endpoints_compatible, region:us
Card metadata:
license: mit
pipeline_tag: text-generation
library_name: transformers
tags: code-generation, reinforcement-learning, formal-methods, dafny