{"id":"49eabe84-2828-4457-a579-a10950d61e36","slug":"hf-model-mradermacher-reform-sft-0-5b-gguf-9b5rqm-x","name":"ReForm-SFT-0.5B-GGUF","description":"Hugging Face model mradermacher/ReForm-SFT-0.5B-GGUF. Task: reinforcement learning. Library: transformers. 222 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":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:05.995Z"}