{"id":"a3eefe94-f9a8-4627-81e1-5e489540e395","slug":"hf-model-thuraaung1601-qwen2-5-coder-1-5b-instruct-reform-dafny-loop-inv-gen-sft-1m4v25s-1z","name":"Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT","description":"Hugging Face model ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT. Library: peft. 19 downloads.","capabilities":["peft","safetensors","dafny","formal-verification","loop-invariants","lora","dataset:ThuraAung1601/reform-dafny-loop-inv-gen","base_model:Qwen/Qwen2.5-Coder-1.5B-Instruct","base_model:adapter:Qwen/Qwen2.5-Coder-1.5B-Instruct","license:cc-by-nc-4.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:40:11.504Z"}