{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:DQ3AGD6ERWRY52S4ALDUCF4QYH","short_pith_number":"pith:DQ3AGD6E","canonical_record":{"source":{"id":"2205.00263","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-04-30T13:12:33Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6382f627aa7dabcabb5e3825622dc5718f7baa62aa716ed825ca554c07fecbbb","abstract_canon_sha256":"5247ba7b004d7643f6b749896c83dc472f063d94b07f604b0fea87322c19528f"},"schema_version":"1.0"},"canonical_sha256":"1c36030fc48da38eea5c02c7411790c1cb01453d70b0ee6cbce2d0ee9d9650ac","source":{"kind":"arxiv","id":"2205.00263","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.00263","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"arxiv_version","alias_value":"2205.00263v1","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.00263","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_12","alias_value":"DQ3AGD6ERWRY","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_16","alias_value":"DQ3AGD6ERWRY52S4","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_8","alias_value":"DQ3AGD6E","created_at":"2026-07-05T04:19:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:DQ3AGD6ERWRY52S4ALDUCF4QYH","target":"record","payload":{"canonical_record":{"source":{"id":"2205.00263","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-04-30T13:12:33Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6382f627aa7dabcabb5e3825622dc5718f7baa62aa716ed825ca554c07fecbbb","abstract_canon_sha256":"5247ba7b004d7643f6b749896c83dc472f063d94b07f604b0fea87322c19528f"},"schema_version":"1.0"},"canonical_sha256":"1c36030fc48da38eea5c02c7411790c1cb01453d70b0ee6cbce2d0ee9d9650ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:19:11.088805Z","signature_b64":"Z+Y2kPLHHwSP5nyeKSazNSLFaULoaM+MevR/LUqbzj4LDJCPg+1vY4tcBlmoRkk3lrk2HwudeVmMeq1jIBx+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c36030fc48da38eea5c02c7411790c1cb01453d70b0ee6cbce2d0ee9d9650ac","last_reissued_at":"2026-07-05T04:19:11.088303Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:19:11.088303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.00263","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:19:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XXe+Q7MMdHO27NrK2ICyXiMn1AEBsbLWwdM9sTZCOZ7njNkZuHnzqlebbBagJld6A1SaQJuJo1/eUM8NVBUcAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:50:14.248401Z"},"content_sha256":"982a5c92afbbf21e807fee10fe42e93b69ff878130ba512e6429edcb3ff9aa9a","schema_version":"1.0","event_id":"sha256:982a5c92afbbf21e807fee10fe42e93b69ff878130ba512e6429edcb3ff9aa9a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:DQ3AGD6ERWRY52S4ALDUCF4QYH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"Claudio Ferrari, Mark Niklas Muller, Martin Vechev, Nikola Jovanovic","submitted_at":"2022-04-30T13:12:33Z","abstract_excerpt":"State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations or applying a Branch-and-Bound (BaB) procedure leveraging imprecise but fast bounding methods on a large number of easier subproblems. The former can capture complex multi-neuron dependencies but sacrifices completeness due to the inherent limitations of convex relaxations. The latter enables complete verification but becomes increasingly ineffective on larger and more challenging networks. In this work, we present a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.00263","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/2205.00263/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:19:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XxzBmV+dmLM8JD9uAQvimCOc5mwmQr5Ac2aD30TACXAXJ6pJSpt6BVlg/cnCQWCv0mCYYABxmi6pw1biJi4vAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:50:14.249058Z"},"content_sha256":"74d5c515b9cd0b2d1bc4f1ea155e509cb7ef59e3e279479d68af89ff0a748011","schema_version":"1.0","event_id":"sha256:74d5c515b9cd0b2d1bc4f1ea155e509cb7ef59e3e279479d68af89ff0a748011"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/bundle.json","state_url":"https://pith.science/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/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-06T11:50:14Z","links":{"resolver":"https://pith.science/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH","bundle":"https://pith.science/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/bundle.json","state":"https://pith.science/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DQ3AGD6ERWRY52S4ALDUCF4QYH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:DQ3AGD6ERWRY52S4ALDUCF4QYH","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":"5247ba7b004d7643f6b749896c83dc472f063d94b07f604b0fea87322c19528f","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-04-30T13:12:33Z","title_canon_sha256":"6382f627aa7dabcabb5e3825622dc5718f7baa62aa716ed825ca554c07fecbbb"},"schema_version":"1.0","source":{"id":"2205.00263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.00263","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"arxiv_version","alias_value":"2205.00263v1","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.00263","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_12","alias_value":"DQ3AGD6ERWRY","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_16","alias_value":"DQ3AGD6ERWRY52S4","created_at":"2026-07-05T04:19:11Z"},{"alias_kind":"pith_short_8","alias_value":"DQ3AGD6E","created_at":"2026-07-05T04:19:11Z"}],"graph_snapshots":[{"event_id":"sha256:74d5c515b9cd0b2d1bc4f1ea155e509cb7ef59e3e279479d68af89ff0a748011","target":"graph","created_at":"2026-07-05T04:19:11Z","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/2205.00263/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations or applying a Branch-and-Bound (BaB) procedure leveraging imprecise but fast bounding methods on a large number of easier subproblems. The former can capture complex multi-neuron dependencies but sacrifices completeness due to the inherent limitations of convex relaxations. The latter enables complete verification but becomes increasingly ineffective on larger and more challenging networks. In this work, we present a","authors_text":"Claudio Ferrari, Mark Niklas Muller, Martin Vechev, Nikola Jovanovic","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-04-30T13:12:33Z","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.00263","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:982a5c92afbbf21e807fee10fe42e93b69ff878130ba512e6429edcb3ff9aa9a","target":"record","created_at":"2026-07-05T04:19:11Z","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":"5247ba7b004d7643f6b749896c83dc472f063d94b07f604b0fea87322c19528f","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-04-30T13:12:33Z","title_canon_sha256":"6382f627aa7dabcabb5e3825622dc5718f7baa62aa716ed825ca554c07fecbbb"},"schema_version":"1.0","source":{"id":"2205.00263","kind":"arxiv","version":1}},"canonical_sha256":"1c36030fc48da38eea5c02c7411790c1cb01453d70b0ee6cbce2d0ee9d9650ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c36030fc48da38eea5c02c7411790c1cb01453d70b0ee6cbce2d0ee9d9650ac","first_computed_at":"2026-07-05T04:19:11.088303Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:19:11.088303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z+Y2kPLHHwSP5nyeKSazNSLFaULoaM+MevR/LUqbzj4LDJCPg+1vY4tcBlmoRkk3lrk2HwudeVmMeq1jIBx+Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:19:11.088805Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.00263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:982a5c92afbbf21e807fee10fe42e93b69ff878130ba512e6429edcb3ff9aa9a","sha256:74d5c515b9cd0b2d1bc4f1ea155e509cb7ef59e3e279479d68af89ff0a748011"],"state_sha256":"a18eb98bb2c071c0455b2d3c27fd03aac0d66824cdbfb64f4fd9c7eaa8475890"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5P6Xa7GVS5jTVZ+DgGRJvKp0LbaFxkLKpHUoIhc70TfTh/4uCAQrTGcGONL+oi5NQeW+h9329dM2v8KXmyrfAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T11:50:14.253780Z","bundle_sha256":"e7c9f9446249e1ad44dd9188011b6eab8e9c2aafff2552830b433dfb3396d299"}}