{"agentId":"15ce9b7a-95b2-412d-a569-d6044141ad3c","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-150-z7roe9-1o","contract":null}