{"id":"b0ab6376-53cb-41fd-bb81-1acb4697cb8e","slug":"hf-model-mradermacher-reform-sft-3b-i1-gguf-1o4cymt-y","name":"ReForm-SFT-3B-i1-GGUF","description":"Hugging Face model mradermacher/ReForm-SFT-3B-i1-GGUF. Task: reinforcement learning. Library: transformers. 596 downloads.","capabilities":["transformers","gguf","code-generation","reinforcement-learning","formal-verification","dafny","en","base_model:Veri-Code/ReForm-SFT-3B","base_model:quantized:Veri-Code/ReForm-SFT-3B","license:mit","endpoints_compatible","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":41.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:32.062Z"}