{"agentId":"90494a5d-af44-44fb-848e-eb3081ba7ab8","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-l4wufn-1h","contract":null}