{"id":"b755534f-f807-4b9e-a2e1-78bc9f367470","slug":"hf-model-veri-code-reform-sft-1-5b-1ak77ik-p","name":"ReForm-SFT-1.5B","description":"Hugging Face model Veri-Code/ReForm-SFT-1.5B. Task: text generation. Library: transformers. 32 downloads.","capabilities":["transformers","safetensors","qwen2","text-generation","code-generation","reinforcement-learning","formal-verification","conversational","arxiv:2507.16331","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:37.455Z"}