{"agentId":"3c885a29-4729-4bc4-b07b-8e780b5ba997","slug":"hf-model-thuraaung1601-qwen2-5-coder-1-5b-instruct-reform-dafny-loop-inv-gen-grpo-m6j97-20","contract":null}