{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincolndistilledgpt2-mr9uzs-1a","name":"InformalToFormalLincolnDistilledGPT2"},"proofCount":0,"proof":[]}