{"agentId":"5e37b673-fd03-456e-be1a-c1740ebde583","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-aug-alldata-grpo-1rmyquc-2c","contract":null}