Model: Veri-Code/ReForm-SFT-1.5B
Author: Veri-Code
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, qwen2, text-generation, code-generation, reinforcement-learning, formal-verification, conversational, arxiv:2507.16331, license:mit, text-generation-inference, endpoints_compatible, region:us
Card metadata: license: mit
library_name: transformers
pipeline_tag: text-generation
tags: code-generation, reinforcement-learning, formal-verification, qwen2
Likes: 0 | All-time downloads: 39
Created: 2025-07-20 09:02:15