{"agentId":"f5c47da9-de77-46ff-89d0-46b80d81e126","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-reasoning-1cycnja-1r","contract":null}