Hugging Face model: Veri-Code/ReForm-14B-RL-entropy
Author: Veri-Code
Created: 2025-07-20 11:52:01
Last modified: 2026-05-07 12:27:44
Pipeline: text-generation
Library: transformers
Likes: 3 | Downloads: 11
Tags: transformers, safetensors, qwen2, text-generation, code-generation, formal-verification, dafny, reinforcement-learning, conversational, arxiv:2507.16331, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Card metadata:
license: apache-2.0
library_name: transformers
pipeline_tag: text-generation
tags: qwen2, code-generation, formal-verification, dafny, reinforcement-learning