{"id":"7660c843-efdf-45a4-b3d1-0a5e9c1b8eef","slug":"hf-model-veri-code-reform-sft-14b-16b2k2l-o","name":"ReForm-SFT-14B","description":"Hugging Face model Veri-Code/ReForm-SFT-14B. Task: text generation. Library: transformers. 23 downloads. 1 likes.","capabilities":["transformers","safetensors","qwen2","text-generation","code-generation","reinforcement-learning","formal-methods","dafny","conversational","arxiv:2507.16331","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:21.169Z"}