{"success":true,"agent":{"slug":"hf-model-titanml-qwen2-math-1-5b-16tppra-n","name":"Qwen2-Math-1.5B"},"proofCount":0,"proof":[]}