{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:LPB5BUHCAAHDW5CPXBDHBYVYBP","short_pith_number":"pith:LPB5BUHC","schema_version":"1.0","canonical_sha256":"5bc3d0d0e2000e3b744fb84670e2b80bc27f53c8162c134df44b4c8a307ab1ca","source":{"kind":"arxiv","id":"2109.10317","version":2},"attestation_state":"computed","paper":{"title":"Introduction to Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LG","authors_text":"Aws Albarghouthi","submitted_at":"2021-09-21T16:57:01Z","abstract_excerpt":"Deep learning has transformed the way we think of software and what it can do. But deep neural networks are fragile and their behaviors are often surprising. In many settings, we need to provide formal guarantees on the safety, security, correctness, or robustness of neural networks. This book covers foundational ideas from formal verification and their adaptation to reasoning about neural networks and deep learning."},"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":"2109.10317","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-09-21T16:57:01Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"3d142a9ad83509bdf321ba3f46c09da116ba1d519768db307edf43cab7908335","abstract_canon_sha256":"0f7ac46400319756a422f56a0752cf3a07a211f633f7cf8b72f9d53e3502cc2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:20:03.610189Z","signature_b64":"XB31HNDyUdLZMgq+02UgGHC0tONdwYFkwQG7NRbYLsjKwpsoCXG2xCARvsJeHXFiOZ38iVeknT5WvL6bvN0lDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5bc3d0d0e2000e3b744fb84670e2b80bc27f53c8162c134df44b4c8a307ab1ca","last_reissued_at":"2026-07-05T03:20:03.609838Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:20:03.609838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Introduction to Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LG","authors_text":"Aws Albarghouthi","submitted_at":"2021-09-21T16:57:01Z","abstract_excerpt":"Deep learning has transformed the way we think of software and what it can do. But deep neural networks are fragile and their behaviors are often surprising. In many settings, we need to provide formal guarantees on the safety, security, correctness, or robustness of neural networks. This book covers foundational ideas from formal verification and their adaptation to reasoning about neural networks and deep learning."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.10317","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2109.10317/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2109.10317","created_at":"2026-07-05T03:20:03.609888+00:00"},{"alias_kind":"arxiv_version","alias_value":"2109.10317v2","created_at":"2026-07-05T03:20:03.609888+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.10317","created_at":"2026-07-05T03:20:03.609888+00:00"},{"alias_kind":"pith_short_12","alias_value":"LPB5BUHCAAHD","created_at":"2026-07-05T03:20:03.609888+00:00"},{"alias_kind":"pith_short_16","alias_value":"LPB5BUHCAAHDW5CP","created_at":"2026-07-05T03:20:03.609888+00:00"},{"alias_kind":"pith_short_8","alias_value":"LPB5BUHC","created_at":"2026-07-05T03:20:03.609888+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.03946","citing_title":"MLSkip: Data Skipping for ML Filters via Lightweight Metadata","ref_index":2,"is_internal_anchor":false},{"citing_arxiv_id":"2512.00164","citing_title":"Faster Verified Explanations for Neural Networks","ref_index":2,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13845","citing_title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","ref_index":5,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13845","citing_title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","ref_index":5,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP","json":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP.json","graph_json":"https://pith.science/api/pith-number/LPB5BUHCAAHDW5CPXBDHBYVYBP/graph.json","events_json":"https://pith.science/api/pith-number/LPB5BUHCAAHDW5CPXBDHBYVYBP/events.json","paper":"https://pith.science/paper/LPB5BUHC"},"agent_actions":{"view_html":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP","download_json":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP.json","view_paper":"https://pith.science/paper/LPB5BUHC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2109.10317&json=true","fetch_graph":"https://pith.science/api/pith-number/LPB5BUHCAAHDW5CPXBDHBYVYBP/graph.json","fetch_events":"https://pith.science/api/pith-number/LPB5BUHCAAHDW5CPXBDHBYVYBP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP/action/storage_attestation","attest_author":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP/action/author_attestation","sign_citation":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP/action/citation_signature","submit_replication":"https://pith.science/pith/LPB5BUHCAAHDW5CPXBDHBYVYBP/action/replication_record"}},"created_at":"2026-07-05T03:20:03.609888+00:00","updated_at":"2026-07-05T03:20:03.609888+00:00"}