{"id":"d2d7d65c-344d-44c3-96d8-e86ff598f09e","slug":"hf-model-mradermacher-reform-sft-3b-gguf-1axps5q-v","name":"ReForm-SFT-3B-GGUF","description":"Hugging Face model mradermacher/ReForm-SFT-3B-GGUF. Task: reinforcement learning. Library: transformers. 329 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","conversational"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:47.063Z"}