{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:SW4HRIYDYLFGKNRZ4EEF5XH5AP","short_pith_number":"pith:SW4HRIYD","canonical_record":{"source":{"id":"1909.06588","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-14T12:44:35Z","cross_cats_sorted":["cs.LO","stat.ML"],"title_canon_sha256":"61e2e3f5488d16ff9a686eba176a046dfe40b6e19705cef88e47b24bc78da839","abstract_canon_sha256":"984ad33f790befb43c4bfd11141bdf2c364e42074087a6c6046d8fed9e880935"},"schema_version":"1.0"},"canonical_sha256":"95b878a303c2ca653639e1085edcfd03c27a6a9ada476277f870cc33b05b11fa","source":{"kind":"arxiv","id":"1909.06588","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.06588","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"arxiv_version","alias_value":"1909.06588v5","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.06588","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_12","alias_value":"SW4HRIYDYLFG","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_16","alias_value":"SW4HRIYDYLFGKNRZ","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_8","alias_value":"SW4HRIYD","created_at":"2026-07-05T11:59:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:SW4HRIYDYLFGKNRZ4EEF5XH5AP","target":"record","payload":{"canonical_record":{"source":{"id":"1909.06588","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-14T12:44:35Z","cross_cats_sorted":["cs.LO","stat.ML"],"title_canon_sha256":"61e2e3f5488d16ff9a686eba176a046dfe40b6e19705cef88e47b24bc78da839","abstract_canon_sha256":"984ad33f790befb43c4bfd11141bdf2c364e42074087a6c6046d8fed9e880935"},"schema_version":"1.0"},"canonical_sha256":"95b878a303c2ca653639e1085edcfd03c27a6a9ada476277f870cc33b05b11fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:59:01.582140Z","signature_b64":"50tjh/fWxA7UujwgPgdqDKH65d/s55MZErmUFwKXCmeKw+tMWDl6aAYU5XboeGgZj4eRJOoKY4bUK3B41/uiAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95b878a303c2ca653639e1085edcfd03c27a6a9ada476277f870cc33b05b11fa","last_reissued_at":"2026-07-05T11:59:01.581672Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:59:01.581672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.06588","source_version":5,"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-07-05T11:59:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xu1TdelwksYGNxDe241qE8/ziscdlnd9JgDN07ENPRXrsOwGG4u7E//rN+AGbKjiA1daEHq81WDPV/xIUSJWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T14:08:49.638714Z"},"content_sha256":"158f8778a4efd3efc44f4d2c80ad9ffaf891fc8817e2e32a1ddbf7e0d4dbe83f","schema_version":"1.0","event_id":"sha256:158f8778a4efd3efc44f4d2c80ad9ffaf891fc8817e2e32a1ddbf7e0d4dbe83f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:SW4HRIYDYLFGKNRZ4EEF5XH5AP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Branch and Bound for Piecewise Linear Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Ilker Turkaslan, Jingyue Lu, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","submitted_at":"2019-09-14T12:44:35Z","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. In this context, verification involves proving or disproving that an NN model satisfies certain input-output properties. Despite the reputation of learned NN models as black boxes, and the theoretical hardness of proving useful properties about them, 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 Modu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.06588","kind":"arxiv","version":5},"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/1909.06588/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"},"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-07-05T11:59:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jQKX1tk+JPuscTivWazeHqwIXhzPbozOngtdTvwXFzSYb887QMkxJd1Y9258DMpRtNtigrz7BMbG1UUnL/cmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T14:08:49.639278Z"},"content_sha256":"4d40a69ebb67b8d3a5266f37cd52d428a44f7c1d3ddc0039508441940ada76d6","schema_version":"1.0","event_id":"sha256:4d40a69ebb67b8d3a5266f37cd52d428a44f7c1d3ddc0039508441940ada76d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/bundle.json","state_url":"https://pith.science/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/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-08-07T14:08:49Z","links":{"resolver":"https://pith.science/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP","bundle":"https://pith.science/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/bundle.json","state":"https://pith.science/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SW4HRIYDYLFGKNRZ4EEF5XH5AP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:SW4HRIYDYLFGKNRZ4EEF5XH5AP","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":"984ad33f790befb43c4bfd11141bdf2c364e42074087a6c6046d8fed9e880935","cross_cats_sorted":["cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-14T12:44:35Z","title_canon_sha256":"61e2e3f5488d16ff9a686eba176a046dfe40b6e19705cef88e47b24bc78da839"},"schema_version":"1.0","source":{"id":"1909.06588","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.06588","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"arxiv_version","alias_value":"1909.06588v5","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.06588","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_12","alias_value":"SW4HRIYDYLFG","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_16","alias_value":"SW4HRIYDYLFGKNRZ","created_at":"2026-07-05T11:59:01Z"},{"alias_kind":"pith_short_8","alias_value":"SW4HRIYD","created_at":"2026-07-05T11:59:01Z"}],"graph_snapshots":[{"event_id":"sha256:4d40a69ebb67b8d3a5266f37cd52d428a44f7c1d3ddc0039508441940ada76d6","target":"graph","created_at":"2026-07-05T11:59:01Z","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/1909.06588/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"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. In this context, verification involves proving or disproving that an NN model satisfies certain input-output properties. Despite the reputation of learned NN models as black boxes, and the theoretical hardness of proving useful properties about them, 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 Modu","authors_text":"Ilker Turkaslan, Jingyue Lu, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","cross_cats":["cs.LO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-14T12:44:35Z","title":"Branch and Bound for Piecewise Linear Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.06588","kind":"arxiv","version":5},"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:158f8778a4efd3efc44f4d2c80ad9ffaf891fc8817e2e32a1ddbf7e0d4dbe83f","target":"record","created_at":"2026-07-05T11:59:01Z","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":"984ad33f790befb43c4bfd11141bdf2c364e42074087a6c6046d8fed9e880935","cross_cats_sorted":["cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-14T12:44:35Z","title_canon_sha256":"61e2e3f5488d16ff9a686eba176a046dfe40b6e19705cef88e47b24bc78da839"},"schema_version":"1.0","source":{"id":"1909.06588","kind":"arxiv","version":5}},"canonical_sha256":"95b878a303c2ca653639e1085edcfd03c27a6a9ada476277f870cc33b05b11fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95b878a303c2ca653639e1085edcfd03c27a6a9ada476277f870cc33b05b11fa","first_computed_at":"2026-07-05T11:59:01.581672Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:59:01.581672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"50tjh/fWxA7UujwgPgdqDKH65d/s55MZErmUFwKXCmeKw+tMWDl6aAYU5XboeGgZj4eRJOoKY4bUK3B41/uiAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:59:01.582140Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.06588","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:158f8778a4efd3efc44f4d2c80ad9ffaf891fc8817e2e32a1ddbf7e0d4dbe83f","sha256:4d40a69ebb67b8d3a5266f37cd52d428a44f7c1d3ddc0039508441940ada76d6"],"state_sha256":"7995c934ab1b548979b819151d88432d42560b54fd246612534f2dfdc4dff177"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m5p44aTPtWXeA1zhtYIyAOVAH3FWNNplxQAf4YPeWsA9cbnfuK9AAP18RdZJM1rbXazx6iRW6vJCiYe+xmFYCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T14:08:49.644663Z","bundle_sha256":"d9565933d895fb84a730b61efed882a78a4382bf7fc54b142cf7acfcbe931928"}}