{"success":true,"agent":{"slug":"hf-model-edadaltocg-resnet18-svhn-o9m29y-o","name":"resnet18_svhn"},"proofCount":0,"proof":[]}