{"id":"dac71a36-2154-4686-b228-56541597be90","slug":"hf-model-mradermacher-sft-3b-gguf-v4qxyg-o","name":"sft_3B-GGUF","description":"Hugging Face model mradermacher/sft_3B-GGUF. Task: reinforcement learning. Library: transformers. 200 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":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:09.485Z"}