{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:IJCHRPBBGHJDTOZJS37ENKQ7QQ","short_pith_number":"pith:IJCHRPBB","canonical_record":{"source":{"id":"2212.08567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-12-15T14:15:29Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LO"],"title_canon_sha256":"fc0bfb55fb28913e02ddbf962719ddabf05b570cdffa13f746b5034d5a134986","abstract_canon_sha256":"47023c0b6e804eb3b8a97fcabed2636f904938fffdc499ddbf00472d005a2762"},"schema_version":"1.0"},"canonical_sha256":"424478bc2131d239bb2996fe46aa1f84148e068eb255a96e5a454c293f1dc179","source":{"kind":"arxiv","id":"2212.08567","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.08567","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"arxiv_version","alias_value":"2212.08567v1","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.08567","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_12","alias_value":"IJCHRPBBGHJD","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"IJCHRPBBGHJDTOZJ","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"IJCHRPBB","created_at":"2026-07-05T05:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:IJCHRPBBGHJDTOZJS37ENKQ7QQ","target":"record","payload":{"canonical_record":{"source":{"id":"2212.08567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-12-15T14:15:29Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LO"],"title_canon_sha256":"fc0bfb55fb28913e02ddbf962719ddabf05b570cdffa13f746b5034d5a134986","abstract_canon_sha256":"47023c0b6e804eb3b8a97fcabed2636f904938fffdc499ddbf00472d005a2762"},"schema_version":"1.0"},"canonical_sha256":"424478bc2131d239bb2996fe46aa1f84148e068eb255a96e5a454c293f1dc179","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:25:58.970353Z","signature_b64":"PzBLl7k8DaEXOtyUA1mCS8G/iVpiQKbajUF0oh0u8MmFeind+ge/Vv/nyBuLJFwHhtDz2V8iW8VuchJnPnGzBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"424478bc2131d239bb2996fe46aa1f84148e068eb255a96e5a454c293f1dc179","last_reissued_at":"2026-07-05T05:25:58.969880Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:25:58.969880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.08567","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-05T05:25:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yRN88OCHfsdEsqfyhoR0RtqtB7Ra/0WrTItbUkFR6j+aHZEGyIZw5jJ+/3ugz6Mb8VVRMSFL4e7I0M79piMlAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T23:57:14.872879Z"},"content_sha256":"7e97ab400da02c0bb72775edf99db768e1bc69a76ca03382f686f09ae4a7e433","schema_version":"1.0","event_id":"sha256:7e97ab400da02c0bb72775edf99db768e1bc69a76ca03382f686f09ae4a7e433"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:IJCHRPBBGHJDTOZJS37ENKQ7QQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimized Symbolic Interval Propagation for Neural Network Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR","cs.LO"],"primary_cat":"cs.LG","authors_text":"Carsten Sinz, Marko Kleine B\\\"uning, Philipp Kern","submitted_at":"2022-12-15T14:15:29Z","abstract_excerpt":"Neural networks are increasingly applied in safety critical domains, their verification thus is gaining importance. A large class of recent algorithms for proving input-output relations of feed-forward neural networks are based on linear relaxations and symbolic interval propagation. However, due to variable dependencies, the approximations deteriorate with increasing depth of the network. In this paper we present DPNeurifyFV, a novel branch-and-bound solver for ReLU networks with low dimensional input-space that is based on symbolic interval propagation with fresh variables and input-splittin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.08567","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/2212.08567/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-05T05:25:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"to7xkTVDSWvUyzYRIN2rVzQ1lSt2sQyxJUNVTRQ5fDimEiWxvxJLy4/hCQ+SydglvR27RUC9ldXL3I361WcfCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T23:57:14.873638Z"},"content_sha256":"ba99131fb515fdbf36ac78787c958df961c7d7fe0d0b0f9ba6cd0b35b67da5ea","schema_version":"1.0","event_id":"sha256:ba99131fb515fdbf36ac78787c958df961c7d7fe0d0b0f9ba6cd0b35b67da5ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/bundle.json","state_url":"https://pith.science/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/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-08T23:57:14Z","links":{"resolver":"https://pith.science/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ","bundle":"https://pith.science/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/bundle.json","state":"https://pith.science/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IJCHRPBBGHJDTOZJS37ENKQ7QQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:IJCHRPBBGHJDTOZJS37ENKQ7QQ","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":"47023c0b6e804eb3b8a97fcabed2636f904938fffdc499ddbf00472d005a2762","cross_cats_sorted":["cs.AI","cs.CR","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-12-15T14:15:29Z","title_canon_sha256":"fc0bfb55fb28913e02ddbf962719ddabf05b570cdffa13f746b5034d5a134986"},"schema_version":"1.0","source":{"id":"2212.08567","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.08567","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"arxiv_version","alias_value":"2212.08567v1","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.08567","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_12","alias_value":"IJCHRPBBGHJD","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"IJCHRPBBGHJDTOZJ","created_at":"2026-07-05T05:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"IJCHRPBB","created_at":"2026-07-05T05:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:ba99131fb515fdbf36ac78787c958df961c7d7fe0d0b0f9ba6cd0b35b67da5ea","target":"graph","created_at":"2026-07-05T05:25:58Z","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/2212.08567/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks are increasingly applied in safety critical domains, their verification thus is gaining importance. A large class of recent algorithms for proving input-output relations of feed-forward neural networks are based on linear relaxations and symbolic interval propagation. However, due to variable dependencies, the approximations deteriorate with increasing depth of the network. In this paper we present DPNeurifyFV, a novel branch-and-bound solver for ReLU networks with low dimensional input-space that is based on symbolic interval propagation with fresh variables and input-splittin","authors_text":"Carsten Sinz, Marko Kleine B\\\"uning, Philipp Kern","cross_cats":["cs.AI","cs.CR","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-12-15T14:15:29Z","title":"Optimized Symbolic Interval Propagation for Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.08567","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:7e97ab400da02c0bb72775edf99db768e1bc69a76ca03382f686f09ae4a7e433","target":"record","created_at":"2026-07-05T05:25:58Z","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":"47023c0b6e804eb3b8a97fcabed2636f904938fffdc499ddbf00472d005a2762","cross_cats_sorted":["cs.AI","cs.CR","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-12-15T14:15:29Z","title_canon_sha256":"fc0bfb55fb28913e02ddbf962719ddabf05b570cdffa13f746b5034d5a134986"},"schema_version":"1.0","source":{"id":"2212.08567","kind":"arxiv","version":1}},"canonical_sha256":"424478bc2131d239bb2996fe46aa1f84148e068eb255a96e5a454c293f1dc179","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"424478bc2131d239bb2996fe46aa1f84148e068eb255a96e5a454c293f1dc179","first_computed_at":"2026-07-05T05:25:58.969880Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:25:58.969880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PzBLl7k8DaEXOtyUA1mCS8G/iVpiQKbajUF0oh0u8MmFeind+ge/Vv/nyBuLJFwHhtDz2V8iW8VuchJnPnGzBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:25:58.970353Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.08567","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e97ab400da02c0bb72775edf99db768e1bc69a76ca03382f686f09ae4a7e433","sha256:ba99131fb515fdbf36ac78787c958df961c7d7fe0d0b0f9ba6cd0b35b67da5ea"],"state_sha256":"d2a11a59391d61010c28d9f8df060fe2f43a7291e013457d5621978a010cd31c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"llfphCH4rDg6ZIQs/+d/6292wNmDoVuCdG3vJLalyMVfcCRTac3FjSPr1kPMcat8OS9yDKNUfSLujVCgdOXwAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T23:57:14.879359Z","bundle_sha256":"893b1dcf45fcea35790330278898c68d6c1882423df5ca690d74ff73c689b852"}}