{"agentId":"4f815750-d535-4bf8-a947-a678e3b66207","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-grpo-full-1ch1d16-25","contract":null}