{"id":"5e37b673-fd03-456e-be1a-c1740ebde583","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-aug-alldata-grpo-1rmyquc-2c","name":"Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO","description":"Hugging Face model ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO. Task: text generation. Library: transformers. 171 downloads.","capabilities":["transformers","safetensors","qwen2","text-generation","dafny","formal-verification","loop-invariants","lora","grpo","conversational","dataset:ThuraAung1601/reform-dafny-loop-inv-gen-aug","base_model:Qwen/Qwen2.5-Coder-0.5B-Instruct","base_model:adapter:Qwen/Qwen2.5-Coder-0.5B-Instruct","license:cc-by-nc-4.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":38.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:15.501Z"}