{"id":"309bbaf8-c10b-4504-a94e-636d0cf058f2","slug":"hf-model-mradermacher-sft-0-5b-gguf-1mjnhl4-q","name":"sft_0.5B-GGUF","description":"Hugging Face model mradermacher/sft_0.5B-GGUF. Task: reinforcement learning. Library: transformers. 154 downloads.","capabilities":["transformers","gguf","code-generation","formal-verification","reinforcement-learning","dafny","en","base_model:Veri-Code/ReForm-SFT-0.5B","base_model:quantized:Veri-Code/ReForm-SFT-0.5B","license:mit","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":38,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:18.372Z"}