{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:G6AKPF5TXBEVVSE2PZZFSCEBQP","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":"48139b633db7d98a2e2162f05c48511a5f61c4860d7f6b8f7b460ed10ad76d90","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-31T17:51:07Z","title_canon_sha256":"d05a12964123dc9e81acbba48ef58e29b15fa166087ed7de1f9262ad92ec4092"},"schema_version":"1.0","source":{"id":"2405.21063","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.21063","created_at":"2026-07-05T10:11:20Z"},{"alias_kind":"arxiv_version","alias_value":"2405.21063v3","created_at":"2026-07-05T10:11:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.21063","created_at":"2026-07-05T10:11:20Z"},{"alias_kind":"pith_short_12","alias_value":"G6AKPF5TXBEV","created_at":"2026-07-05T10:11:20Z"},{"alias_kind":"pith_short_16","alias_value":"G6AKPF5TXBEVVSE2","created_at":"2026-07-05T10:11:20Z"},{"alias_kind":"pith_short_8","alias_value":"G6AKPF5T","created_at":"2026-07-05T10:11:20Z"}],"graph_snapshots":[{"event_id":"sha256:0cfd190924db11562b444f0b1abaa5ef9464827a4c7efbca92ffebb681ef19b2","target":"graph","created_at":"2026-07-05T10:11:20Z","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/2405.21063/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Branch-and-bound (BaB) is among the most effective techniques for neural network (NN) verification. However, existing works on BaB for NN verification have mostly focused on NNs with piecewise linear activations, especially ReLU networks. In this paper, we develop a general framework, named GenBaB, to conduct BaB on general nonlinearities to verify NNs with general architectures, based on linear bound propagation for NN verification. To decide which neuron to branch, we design a new branching heuristic which leverages linear bounds as shortcuts to efficiently estimate the potential improvement","authors_text":"Cho-Jui Hsieh, Huan Zhang, Qirui Jin, Suman Jana, Zhouxing Shi, Zico Kolter","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.21063","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:c2516f45efce775bf4af9514b12d7674021659743ba53484316fb542629fd16d","target":"record","created_at":"2026-07-05T10:11:20Z","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":"48139b633db7d98a2e2162f05c48511a5f61c4860d7f6b8f7b460ed10ad76d90","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-31T17:51:07Z","title_canon_sha256":"d05a12964123dc9e81acbba48ef58e29b15fa166087ed7de1f9262ad92ec4092"},"schema_version":"1.0","source":{"id":"2405.21063","kind":"arxiv","version":3}},"canonical_sha256":"3780a797b3b8495ac89a7e7259088183f2ccec446cbfde6ba93f61cf26fe9ec1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3780a797b3b8495ac89a7e7259088183f2ccec446cbfde6ba93f61cf26fe9ec1","first_computed_at":"2026-07-05T10:11:20.345794Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:11:20.345794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WTidTiWWfZlcJdJdXvQxaOm3zUbOHgMMrE9hZPy/HZFS5eSKNR6HaBMM5tjj/w4gavolSp9MgiW4vlORsS20Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:11:20.346309Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.21063","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c2516f45efce775bf4af9514b12d7674021659743ba53484316fb542629fd16d","sha256:0cfd190924db11562b444f0b1abaa5ef9464827a4c7efbca92ffebb681ef19b2"],"state_sha256":"9cf8b696732963d839a1d2397a3e812472c55f850dd5aa720224d9c2f1c5e65b"}