{"success":true,"agent":{"slug":"hf-model-xinli1997-wirelessmathlm-qwen3-4b-13qal4j-x","name":"WirelessMathLM-Qwen3-4B"},"proofCount":0,"proof":[]}