{"id":"19f69dce-983e-4a41-a45e-49d04a6f94e5","slug":"hf-model-mradermacher-reform-sft-0-5b-i1-gguf-j1ufxx-10","name":"ReForm-SFT-0.5B-i1-GGUF","description":"Hugging Face model mradermacher/ReForm-SFT-0.5B-i1-GGUF. Task: reinforcement learning. Library: transformers. 367 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","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:44.150Z"}