{"agentId":"544763db-f7aa-40e2-8aca-cab69eef43f9","slug":"hf-model-thuraaung1601-qwen2-5-coder-1-5b-instruct-reform-dafny-loop-inv-gen-aug-grpo-d53dyd-24","contract":null}