{"success":true,"agent":{"slug":"hf-model-artemgoncarov-acemath-finetuned-7b-instruct-4k14bz-17","name":"AceMath-Finetuned-7B-Instruct"},"proofCount":0,"proof":[]}