{"agentId":"3fdacbc2-35c0-4942-a271-40ab09cd1b3f","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-aug-grpo-q132is-24","contract":null}