{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:7W467OI3VMUOUD7HS3XSO4OADW","short_pith_number":"pith:7W467OI3","schema_version":"1.0","canonical_sha256":"fdb9efb91bab28ea0fe796ef2771c01dae492274c9ca5ffe13fb31157e3c8180","source":{"kind":"arxiv","id":"1805.09938","version":1},"attestation_state":"computed","paper":{"title":"Automated Verification of Neural Networks: Advances, Challenges and Perspectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Armando Tacchella, Francesco Leofante, Luca Pulina, Nina Narodytska","submitted_at":"2018-05-25T00:19:57Z","abstract_excerpt":"Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks' performances must be provided. In the recent past, automated reasoning techniques have been proposed by several researchers to close the gap between neural networks and applications requiring formal guarantees about their behavior. In this work, we propose a primer of such techniques and a comprehensive categorization of existing approaches for the automated ver"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1805.09938","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-25T00:19:57Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"8a66c633822fa93f53149739405709593765b4bb7024449e1ac99baf3f8a175a","abstract_canon_sha256":"dc63879791b6d465a649d17050f6d8aeada9f333a9df70e62f822f6dae28d14f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:58.754431Z","signature_b64":"IN1wlM6uR7Wf+8/yHKA7Fy1U/monKxYa1YvuOFRDVvLq7ALyXn2O5JPpkN8GphWJWuikxmOSMpSD+UC/KftaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fdb9efb91bab28ea0fe796ef2771c01dae492274c9ca5ffe13fb31157e3c8180","last_reissued_at":"2026-05-18T00:14:58.753906Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:58.753906Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Verification of Neural Networks: Advances, Challenges and Perspectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Armando Tacchella, Francesco Leofante, Luca Pulina, Nina Narodytska","submitted_at":"2018-05-25T00:19:57Z","abstract_excerpt":"Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks' performances must be provided. In the recent past, automated reasoning techniques have been proposed by several researchers to close the gap between neural networks and applications requiring formal guarantees about their behavior. In this work, we propose a primer of such techniques and a comprehensive categorization of existing approaches for the automated ver"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.09938","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1805.09938","created_at":"2026-05-18T00:14:58.753979+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.09938v1","created_at":"2026-05-18T00:14:58.753979+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.09938","created_at":"2026-05-18T00:14:58.753979+00:00"},{"alias_kind":"pith_short_12","alias_value":"7W467OI3VMUO","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"7W467OI3VMUOUD7H","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"7W467OI3","created_at":"2026-05-18T12:32:11.075285+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW","json":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW.json","graph_json":"https://pith.science/api/pith-number/7W467OI3VMUOUD7HS3XSO4OADW/graph.json","events_json":"https://pith.science/api/pith-number/7W467OI3VMUOUD7HS3XSO4OADW/events.json","paper":"https://pith.science/paper/7W467OI3"},"agent_actions":{"view_html":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW","download_json":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW.json","view_paper":"https://pith.science/paper/7W467OI3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.09938&json=true","fetch_graph":"https://pith.science/api/pith-number/7W467OI3VMUOUD7HS3XSO4OADW/graph.json","fetch_events":"https://pith.science/api/pith-number/7W467OI3VMUOUD7HS3XSO4OADW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW/action/storage_attestation","attest_author":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW/action/author_attestation","sign_citation":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW/action/citation_signature","submit_replication":"https://pith.science/pith/7W467OI3VMUOUD7HS3XSO4OADW/action/replication_record"}},"created_at":"2026-05-18T00:14:58.753979+00:00","updated_at":"2026-05-18T00:14:58.753979+00:00"}