{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:S37BPRWXITSBF5RF44VZQE2MD4","short_pith_number":"pith:S37BPRWX","canonical_record":{"source":{"id":"2208.07669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-08-16T11:16:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d996e53598e0d7a4c45a1cec23bd0f84a2da450410079331d7d5d1f662160943","abstract_canon_sha256":"69f97275230490d14c9cba1bf5f5466c522a8469b57aeafe9b2725951ba0717b"},"schema_version":"1.0"},"canonical_sha256":"96fe17c6d744e412f625e72b98134c1f38afc9faa4b87f401439cc156886d262","source":{"kind":"arxiv","id":"2208.07669","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.07669","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"arxiv_version","alias_value":"2208.07669v1","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.07669","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_12","alias_value":"S37BPRWXITSB","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_16","alias_value":"S37BPRWXITSBF5RF","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_8","alias_value":"S37BPRWX","created_at":"2026-07-05T04:49:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:S37BPRWXITSBF5RF44VZQE2MD4","target":"record","payload":{"canonical_record":{"source":{"id":"2208.07669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-08-16T11:16:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d996e53598e0d7a4c45a1cec23bd0f84a2da450410079331d7d5d1f662160943","abstract_canon_sha256":"69f97275230490d14c9cba1bf5f5466c522a8469b57aeafe9b2725951ba0717b"},"schema_version":"1.0"},"canonical_sha256":"96fe17c6d744e412f625e72b98134c1f38afc9faa4b87f401439cc156886d262","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:49:07.637168Z","signature_b64":"XbhLwG+p0GjZcjvph/hRbur7155g6qk3zv4N7YL1XpbPsRLNzPd2i/pVx8cSAiRHzkgK6efFUUYV1rXsmFs9Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96fe17c6d744e412f625e72b98134c1f38afc9faa4b87f401439cc156886d262","last_reissued_at":"2026-07-05T04:49:07.636769Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:49:07.636769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.07669","source_version":1,"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-05T04:49:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dzom8VmSHVQJay4o5ic5/E0CGNlyriKIkkqHUrQAN4sQaK0uCCLg3KeHgat84TOx2C+sG9xqV88AB9PhseucCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:45:28.850176Z"},"content_sha256":"943be450ad6ead47cd1c64d046bfe7669a13b61b2cd6b9b0203559325589a007","schema_version":"1.0","event_id":"sha256:943be450ad6ead47cd1c64d046bfe7669a13b61b2cd6b9b0203559325589a007"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:S37BPRWXITSBF5RF44VZQE2MD4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Optimizing Back-Substitution Methods for Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Clark Barrett, Guy Katz, Haoze Wu, Tom Zelazny","submitted_at":"2022-08-16T11:16:44Z","abstract_excerpt":"With the increasing application of deep learning in mission-critical systems, there is a growing need to obtain formal guarantees about the behaviors of neural networks. Indeed, many approaches for verifying neural networks have been recently proposed, but these generally struggle with limited scalability or insufficient accuracy. A key component in many state-of-the-art verification schemes is computing lower and upper bounds on the values that neurons in the network can obtain for a specific input domain -- and the tighter these bounds, the more likely the verification is to succeed. Many co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.07669","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.07669/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-05T04:49:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wjLGREL9SfcgGrqcFvHWgevv9LYgQty7aZp6K2h+x4/rs1vYQ/JI6pLM/8JjjWYrKb6CVcpOIa9/B7Vy3RyNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:45:28.850576Z"},"content_sha256":"8b02e45403dd81a7188bd4855b5796caa624006b49b26749e219d978248d5424","schema_version":"1.0","event_id":"sha256:8b02e45403dd81a7188bd4855b5796caa624006b49b26749e219d978248d5424"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S37BPRWXITSBF5RF44VZQE2MD4/bundle.json","state_url":"https://pith.science/pith/S37BPRWXITSBF5RF44VZQE2MD4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S37BPRWXITSBF5RF44VZQE2MD4/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-07-05T15:45:28Z","links":{"resolver":"https://pith.science/pith/S37BPRWXITSBF5RF44VZQE2MD4","bundle":"https://pith.science/pith/S37BPRWXITSBF5RF44VZQE2MD4/bundle.json","state":"https://pith.science/pith/S37BPRWXITSBF5RF44VZQE2MD4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S37BPRWXITSBF5RF44VZQE2MD4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:S37BPRWXITSBF5RF44VZQE2MD4","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":"69f97275230490d14c9cba1bf5f5466c522a8469b57aeafe9b2725951ba0717b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-08-16T11:16:44Z","title_canon_sha256":"d996e53598e0d7a4c45a1cec23bd0f84a2da450410079331d7d5d1f662160943"},"schema_version":"1.0","source":{"id":"2208.07669","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.07669","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"arxiv_version","alias_value":"2208.07669v1","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.07669","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_12","alias_value":"S37BPRWXITSB","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_16","alias_value":"S37BPRWXITSBF5RF","created_at":"2026-07-05T04:49:07Z"},{"alias_kind":"pith_short_8","alias_value":"S37BPRWX","created_at":"2026-07-05T04:49:07Z"}],"graph_snapshots":[{"event_id":"sha256:8b02e45403dd81a7188bd4855b5796caa624006b49b26749e219d978248d5424","target":"graph","created_at":"2026-07-05T04:49:07Z","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/2208.07669/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the increasing application of deep learning in mission-critical systems, there is a growing need to obtain formal guarantees about the behaviors of neural networks. Indeed, many approaches for verifying neural networks have been recently proposed, but these generally struggle with limited scalability or insufficient accuracy. A key component in many state-of-the-art verification schemes is computing lower and upper bounds on the values that neurons in the network can obtain for a specific input domain -- and the tighter these bounds, the more likely the verification is to succeed. Many co","authors_text":"Clark Barrett, Guy Katz, Haoze Wu, Tom Zelazny","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-08-16T11:16:44Z","title":"On Optimizing Back-Substitution Methods for Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.07669","kind":"arxiv","version":1},"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:943be450ad6ead47cd1c64d046bfe7669a13b61b2cd6b9b0203559325589a007","target":"record","created_at":"2026-07-05T04:49:07Z","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":"69f97275230490d14c9cba1bf5f5466c522a8469b57aeafe9b2725951ba0717b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-08-16T11:16:44Z","title_canon_sha256":"d996e53598e0d7a4c45a1cec23bd0f84a2da450410079331d7d5d1f662160943"},"schema_version":"1.0","source":{"id":"2208.07669","kind":"arxiv","version":1}},"canonical_sha256":"96fe17c6d744e412f625e72b98134c1f38afc9faa4b87f401439cc156886d262","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96fe17c6d744e412f625e72b98134c1f38afc9faa4b87f401439cc156886d262","first_computed_at":"2026-07-05T04:49:07.636769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:49:07.636769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XbhLwG+p0GjZcjvph/hRbur7155g6qk3zv4N7YL1XpbPsRLNzPd2i/pVx8cSAiRHzkgK6efFUUYV1rXsmFs9Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:49:07.637168Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.07669","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:943be450ad6ead47cd1c64d046bfe7669a13b61b2cd6b9b0203559325589a007","sha256:8b02e45403dd81a7188bd4855b5796caa624006b49b26749e219d978248d5424"],"state_sha256":"8c0ee7f2b5d8eef6ba590dfd3e0b8b200289d284dbab094d115a3d585c1e0df1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a/6hDBcPbA4CoxUqkmFmbNeI+wg5sdNY2LrveKd1YFbUeguvHbmh6YEHjUANOCqPQ5prowkUQ8I61pgVhXVuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:45:28.853258Z","bundle_sha256":"b11dd2cd5c1af81e6956c107e7724aac2d4342589f5cabddee0d75bc7247b9c0"}}