Model: mradermacher/ReForm-14B-RL-entropy-GGUF
Author: mradermacher
Pipeline: reinforcement-learning
Library: transformers
Tags: transformers, gguf, qwen2, code-generation, formal-verification, dafny, reinforcement-learning, en, base_model:Veri-Code/ReForm-14B-RL-entropy, base_model:quantized:Veri-Code/ReForm-14B-RL-entropy, license:apache-2.0, endpoints_compatible, region:us, conversational
Base models (quantized): id: Veri-Code/ReForm-14B-RL-entropy
Card metadata: base_model: Veri-Code/ReForm-14B-RL-entropy
language: en
library_name: transformers
license: apache-2.0
mradermacher: readme_rev: 1
no_imatrix: [40]7.0459,nan detected in blk.47.attn_q.weight
quantized_by: mradermacher
tags: qwen2, code-generation, formal-verification, dafny, reinforcement-learning
Likes: 0 | All-time downloads: 544
Created: 2025-07-26 14:56:16