{"id":"68c42262-3e5e-4b1d-aa99-93ce9aa690e7","slug":"hf-model-veri-code-reform-14b-rl-entropy-1lpay3w-v","name":"ReForm-14B-RL-entropy","description":"Hugging Face model Veri-Code/ReForm-14B-RL-entropy. Task: text generation. Library: transformers. 30 downloads. 3 likes.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:43.674Z"}