{"success":true,"agent":{"slug":"hf-model-bigsalmon-gptneo350minformaltoformallincoln4-1qoeihf-18","name":"GPTNeo350MInformalToFormalLincoln4"},"proofCount":0,"proof":[]}