{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PHJS43AJMNXCBUMIMXKNQBEGAL","short_pith_number":"pith:PHJS43AJ","canonical_record":{"source":{"id":"1711.00455","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-01T17:42:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"a8c6fb3e64b6a0dfc592227ea3e1bd1d32b0f07dedb40214958c8c56abc487a2","abstract_canon_sha256":"d932b2c176df0c035c46347ccc4c661d2ba1dd01aa622747eedf8fc0ce138fc1"},"schema_version":"1.0"},"canonical_sha256":"79d32e6c09636e20d18865d4d8048602d413437c29c45e9557a57fd7744e954b","source":{"kind":"arxiv","id":"1711.00455","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.00455","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"arxiv_version","alias_value":"1711.00455v3","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.00455","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"pith_short_12","alias_value":"PHJS43AJMNXC","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PHJS43AJMNXCBUMI","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PHJS43AJ","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PHJS43AJMNXCBUMIMXKNQBEGAL","target":"record","payload":{"canonical_record":{"source":{"id":"1711.00455","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-01T17:42:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"a8c6fb3e64b6a0dfc592227ea3e1bd1d32b0f07dedb40214958c8c56abc487a2","abstract_canon_sha256":"d932b2c176df0c035c46347ccc4c661d2ba1dd01aa622747eedf8fc0ce138fc1"},"schema_version":"1.0"},"canonical_sha256":"79d32e6c09636e20d18865d4d8048602d413437c29c45e9557a57fd7744e954b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:30.423781Z","signature_b64":"UyCwKh2zKlRe3O+qc91kdXPJs0ob0GqyxfQA/8V2Rk/z6gYH3Y2UYOnC4orh9rOzQevRKGA+lt/TOvKAfGihDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"79d32e6c09636e20d18865d4d8048602d413437c29c45e9557a57fd7744e954b","last_reissued_at":"2026-05-18T00:15:30.423323Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:30.423323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.00455","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:15:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vn9bbLaq4JIkbxorntDQ5S0olP3aAmr1yK7y+EfuRkFUziF3GCh/TsFDoXe7Hm91BdSbKvGgO8mkzQ4Kr03iDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T06:31:08.061747Z"},"content_sha256":"e3da11bb7ee9076dc6398dd52fbea883f2001e0c8338905d7abed1a1eb39ce3d","schema_version":"1.0","event_id":"sha256:e3da11bb7ee9076dc6398dd52fbea883f2001e0c8338905d7abed1a1eb39ce3d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PHJS43AJMNXCBUMIMXKNQBEGAL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Unified View of Piecewise Linear Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Ilker Turkaslan, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","submitted_at":"2017-11-01T17:42:12Z","abstract_excerpt":"The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and the theoretical hardness of proving their properties, researchers have been successful in verifying some classes of models by exploiting their piecewise linear structure and taking insights from formal methods such as Satisifiability Modulo Theory. These methods are however still far from scaling to realistic neural networks. To facilitate progress on this cru"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.00455","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:15:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sS1Ub/m6kSYPmd3tQ8shxn6VN9sj+sK/45v/ocR8s58mwpsEXidg+UDyWxZQA+34Dw18T0gM5rtYWJYRgfeDCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T06:31:08.062455Z"},"content_sha256":"7ab1b6c3fac206b23a4587157703dbbd37868f660128e9ca8b61a721dd08f48d","schema_version":"1.0","event_id":"sha256:7ab1b6c3fac206b23a4587157703dbbd37868f660128e9ca8b61a721dd08f48d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/bundle.json","state_url":"https://pith.science/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T06:31:08Z","links":{"resolver":"https://pith.science/pith/PHJS43AJMNXCBUMIMXKNQBEGAL","bundle":"https://pith.science/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/bundle.json","state":"https://pith.science/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PHJS43AJMNXCBUMIMXKNQBEGAL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PHJS43AJMNXCBUMIMXKNQBEGAL","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":"d932b2c176df0c035c46347ccc4c661d2ba1dd01aa622747eedf8fc0ce138fc1","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-01T17:42:12Z","title_canon_sha256":"a8c6fb3e64b6a0dfc592227ea3e1bd1d32b0f07dedb40214958c8c56abc487a2"},"schema_version":"1.0","source":{"id":"1711.00455","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.00455","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"arxiv_version","alias_value":"1711.00455v3","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.00455","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"pith_short_12","alias_value":"PHJS43AJMNXC","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PHJS43AJMNXCBUMI","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PHJS43AJ","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:7ab1b6c3fac206b23a4587157703dbbd37868f660128e9ca8b61a721dd08f48d","target":"graph","created_at":"2026-05-18T00:15:30Z","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"},"paper":{"abstract_excerpt":"The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and the theoretical hardness of proving their properties, researchers have been successful in verifying some classes of models by exploiting their piecewise linear structure and taking insights from formal methods such as Satisifiability Modulo Theory. These methods are however still far from scaling to realistic neural networks. To facilitate progress on this cru","authors_text":"Ilker Turkaslan, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-01T17:42:12Z","title":"A Unified View of Piecewise Linear Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.00455","kind":"arxiv","version":3},"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:e3da11bb7ee9076dc6398dd52fbea883f2001e0c8338905d7abed1a1eb39ce3d","target":"record","created_at":"2026-05-18T00:15:30Z","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":"d932b2c176df0c035c46347ccc4c661d2ba1dd01aa622747eedf8fc0ce138fc1","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-01T17:42:12Z","title_canon_sha256":"a8c6fb3e64b6a0dfc592227ea3e1bd1d32b0f07dedb40214958c8c56abc487a2"},"schema_version":"1.0","source":{"id":"1711.00455","kind":"arxiv","version":3}},"canonical_sha256":"79d32e6c09636e20d18865d4d8048602d413437c29c45e9557a57fd7744e954b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79d32e6c09636e20d18865d4d8048602d413437c29c45e9557a57fd7744e954b","first_computed_at":"2026-05-18T00:15:30.423323Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:30.423323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UyCwKh2zKlRe3O+qc91kdXPJs0ob0GqyxfQA/8V2Rk/z6gYH3Y2UYOnC4orh9rOzQevRKGA+lt/TOvKAfGihDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:30.423781Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.00455","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3da11bb7ee9076dc6398dd52fbea883f2001e0c8338905d7abed1a1eb39ce3d","sha256:7ab1b6c3fac206b23a4587157703dbbd37868f660128e9ca8b61a721dd08f48d"],"state_sha256":"75f5b8b1e45bf11eb7999a0559657e470aa645d11bd4a0db37b7a14f2a31ed3a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0nbNK7A16FFANA29TyMwxNBiIqx+CcXaLgS/KHN49xBABBNv1hMsJFv2q+uOJ8IzQTtTpT7ALCgcrtG/taM6DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T06:31:08.066109Z","bundle_sha256":"e585af3c4bf36226ac9b06f2e3a3519e135b01c2e0285e0c0771c35524efd0f1"}}