{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7ZNDMNZ7U6GRCRR57S2RNB5ILJ","short_pith_number":"pith:7ZNDMNZ7","canonical_record":{"source":{"id":"1803.06567","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-03-17T20:13:28Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"c0ec23f72789dd191dfcb47ffbaa43e8d9cf9e4b30bcf7d27bb33d0bdc20eb56","abstract_canon_sha256":"04b74cdfa4f20f7da0f49f9dca423f4d19e9594a2b8bdb90a6d88e28934f28ea"},"schema_version":"1.0"},"canonical_sha256":"fe5a36373fa78d11463dfcb51687a85a7c56acfaf5df8271589baf8c542e516a","source":{"kind":"arxiv","id":"1803.06567","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06567","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06567v2","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06567","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"pith_short_12","alias_value":"7ZNDMNZ7U6GR","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"7ZNDMNZ7U6GRCRR5","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"7ZNDMNZ7","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7ZNDMNZ7U6GRCRR57S2RNB5ILJ","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06567","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-03-17T20:13:28Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"c0ec23f72789dd191dfcb47ffbaa43e8d9cf9e4b30bcf7d27bb33d0bdc20eb56","abstract_canon_sha256":"04b74cdfa4f20f7da0f49f9dca423f4d19e9594a2b8bdb90a6d88e28934f28ea"},"schema_version":"1.0"},"canonical_sha256":"fe5a36373fa78d11463dfcb51687a85a7c56acfaf5df8271589baf8c542e516a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:00.064063Z","signature_b64":"303/Hfru+Lf+fBM8269cu0+M0xrNx7K7lH8PvNfnsa+4fLzmD2PYlhGIra/iNXz3NK+7KtKdLDFwTWWw0JDwCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe5a36373fa78d11463dfcb51687a85a7c56acfaf5df8271589baf8c542e516a","last_reissued_at":"2026-05-18T00:09:00.063287Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:00.063287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06567","source_version":2,"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-05-18T00:09:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DsSdINrRT1JvmC1KGPB5EduWWRm2ue/Y/v2u7+h+zX68tiK0NzSIf2JULcGm1xHzdyJ5KM8k1Mxo1GNNf4HEAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:19:20.751166Z"},"content_sha256":"9ce45d0caceaefe9b142d12b78bb273ec52425a6f8ac6f4f1de8ae767a29030c","schema_version":"1.0","event_id":"sha256:9ce45d0caceaefe9b142d12b78bb273ec52425a6f8ac6f4f1de8ae767a29030c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7ZNDMNZ7U6GRCRR57S2RNB5ILJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Dual Approach to Scalable Verification of Deep Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli, Robert Stanforth, Sven Gowal, Timothy Mann","submitted_at":"2018-03-17T20:13:28Z","abstract_excerpt":"This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs and outputs (robustness to bounded norm adversarial perturbations, for example). Most previous work on this topic was limited in its applicability by the size of the network, network architecture and the complexity of properties to be verified. In contrast, our framework applies to a general class of activation functions and specifications on neural network inputs and outputs. We formulate verificat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06567","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:09:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1eU363qcesUhHWc9gUbhQJfSTWJtijzTUOkktXhEvcT04NeBCrKaNbKxQreeoC7MI8oi0EBDzJn3jYfOoHpZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:19:20.751727Z"},"content_sha256":"6ccd0616ee881b4d07de49707d00b8ef09a1ea85302f1c1a0e9bcc3d59c0721b","schema_version":"1.0","event_id":"sha256:6ccd0616ee881b4d07de49707d00b8ef09a1ea85302f1c1a0e9bcc3d59c0721b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/bundle.json","state_url":"https://pith.science/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/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-05-25T19:19:20Z","links":{"resolver":"https://pith.science/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ","bundle":"https://pith.science/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/bundle.json","state":"https://pith.science/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7ZNDMNZ7U6GRCRR57S2RNB5ILJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7ZNDMNZ7U6GRCRR57S2RNB5ILJ","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":"04b74cdfa4f20f7da0f49f9dca423f4d19e9594a2b8bdb90a6d88e28934f28ea","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-03-17T20:13:28Z","title_canon_sha256":"c0ec23f72789dd191dfcb47ffbaa43e8d9cf9e4b30bcf7d27bb33d0bdc20eb56"},"schema_version":"1.0","source":{"id":"1803.06567","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06567","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06567v2","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06567","created_at":"2026-05-18T00:09:00Z"},{"alias_kind":"pith_short_12","alias_value":"7ZNDMNZ7U6GR","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"7ZNDMNZ7U6GRCRR5","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"7ZNDMNZ7","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:6ccd0616ee881b4d07de49707d00b8ef09a1ea85302f1c1a0e9bcc3d59c0721b","target":"graph","created_at":"2026-05-18T00:09:00Z","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"},"paper":{"abstract_excerpt":"This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs and outputs (robustness to bounded norm adversarial perturbations, for example). Most previous work on this topic was limited in its applicability by the size of the network, network architecture and the complexity of properties to be verified. In contrast, our framework applies to a general class of activation functions and specifications on neural network inputs and outputs. We formulate verificat","authors_text":"Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli, Robert Stanforth, Sven Gowal, Timothy Mann","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-03-17T20:13:28Z","title":"A Dual Approach to Scalable Verification of Deep Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06567","kind":"arxiv","version":2},"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:9ce45d0caceaefe9b142d12b78bb273ec52425a6f8ac6f4f1de8ae767a29030c","target":"record","created_at":"2026-05-18T00:09:00Z","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":"04b74cdfa4f20f7da0f49f9dca423f4d19e9594a2b8bdb90a6d88e28934f28ea","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-03-17T20:13:28Z","title_canon_sha256":"c0ec23f72789dd191dfcb47ffbaa43e8d9cf9e4b30bcf7d27bb33d0bdc20eb56"},"schema_version":"1.0","source":{"id":"1803.06567","kind":"arxiv","version":2}},"canonical_sha256":"fe5a36373fa78d11463dfcb51687a85a7c56acfaf5df8271589baf8c542e516a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe5a36373fa78d11463dfcb51687a85a7c56acfaf5df8271589baf8c542e516a","first_computed_at":"2026-05-18T00:09:00.063287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:00.063287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"303/Hfru+Lf+fBM8269cu0+M0xrNx7K7lH8PvNfnsa+4fLzmD2PYlhGIra/iNXz3NK+7KtKdLDFwTWWw0JDwCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:00.064063Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06567","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ce45d0caceaefe9b142d12b78bb273ec52425a6f8ac6f4f1de8ae767a29030c","sha256:6ccd0616ee881b4d07de49707d00b8ef09a1ea85302f1c1a0e9bcc3d59c0721b"],"state_sha256":"0a37a5641a12dc7bab9a50bea72c61a2ef17452ef44660c0e53b6170f2620f8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HKAumJHKl8SkQ+Q+3Tixa0R8rOPPEXggpWHUnQUs5gkWGVm8XpLhXo8HJvswv57uMeGHSwCd1Cvq7Q6QHvXNBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:19:20.754193Z","bundle_sha256":"2260332f7dc1ce0774882795a4474f65e9ea6d857272107b8067385947122698"}}