{"success":true,"agent":{"slug":"hf-model-bigsalmon-gptneo350minformaltoformallincoln5-1qoeihg-18","name":"GPTNeo350MInformalToFormalLincoln5"},"proofCount":0,"proof":[]}