{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:Q4SEWI2C2F4RAOAX24LRSPBHHP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b6766bd04feeb3c1491a2b621697ba87cae585324d5d1d1ea366e9f95d6e6ff0","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-15T19:02:38Z","title_canon_sha256":"07e6a96b60f21dcdc3603e4d056d7f2ed56a2459b762472aba868e6c0c1e19d0"},"schema_version":"1.0","source":{"id":"1903.06758","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.06758","created_at":"2026-07-05T01:55:41Z"},{"alias_kind":"arxiv_version","alias_value":"1903.06758v2","created_at":"2026-07-05T01:55:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.06758","created_at":"2026-07-05T01:55:41Z"},{"alias_kind":"pith_short_12","alias_value":"Q4SEWI2C2F4R","created_at":"2026-07-05T01:55:41Z"},{"alias_kind":"pith_short_16","alias_value":"Q4SEWI2C2F4RAOAX","created_at":"2026-07-05T01:55:41Z"},{"alias_kind":"pith_short_8","alias_value":"Q4SEWI2C","created_at":"2026-07-05T01:55:41Z"}],"graph_snapshots":[{"event_id":"sha256:3770ace4c1c6fde20d44882d32e8fd2f268398037b876ed3d7b1922bc3c6b59c","target":"graph","created_at":"2026-07-05T01:55:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1903.06758/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks are widely used for nonlinear function approximation with applications ranging from computer vision to control. Although these networks involve the composition of simple arithmetic operations, it can be very challenging to verify whether a particular network satisfies certain input-output properties. This article surveys methods that have emerged recently for soundly verifying such properties. These methods borrow insights from reachability analysis, optimization, and search. We discuss fundamental differences and connections between existing algorithms. In addition, we pr","authors_text":"Changliu Liu, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer, Tomer Arnon","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-15T19:02:38Z","title":"Algorithms for Verifying Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.06758","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:05b6f6a4bf9b516c80ef8f8d98a13e93e40c9a407741bf0f4c3574b47262d623","target":"record","created_at":"2026-07-05T01:55:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b6766bd04feeb3c1491a2b621697ba87cae585324d5d1d1ea366e9f95d6e6ff0","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-15T19:02:38Z","title_canon_sha256":"07e6a96b60f21dcdc3603e4d056d7f2ed56a2459b762472aba868e6c0c1e19d0"},"schema_version":"1.0","source":{"id":"1903.06758","kind":"arxiv","version":2}},"canonical_sha256":"87244b2342d179103817d717193c273bd03b28a4c8f8efd518b7efd76b014fab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87244b2342d179103817d717193c273bd03b28a4c8f8efd518b7efd76b014fab","first_computed_at":"2026-07-05T01:55:41.347231Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:55:41.347231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hIbGIws1nTnZJCU1CjfeIw7KqojEO/EoXTH/lEwAopgguwrQcjeC7knvAUp+VmhtdHq1MyvEOj0qacOxnWFSCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:55:41.347652Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.06758","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05b6f6a4bf9b516c80ef8f8d98a13e93e40c9a407741bf0f4c3574b47262d623","sha256:3770ace4c1c6fde20d44882d32e8fd2f268398037b876ed3d7b1922bc3c6b59c"],"state_sha256":"39272a371aa7a99053d9f0a9839fe636dea528ac56e645f28ea4538d561513eb"}