{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:X4H7XNTIRE3QVCRVZLOJK5MCPB","short_pith_number":"pith:X4H7XNTI","canonical_record":{"source":{"id":"1902.09592","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-25T20:04:13Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"b005d2db31c9d53410f70fdefbddb131dfb2e2b5b4ce69c9fb2a1393eda522d1","abstract_canon_sha256":"d8f8dd7a815f95699745a7e918fbdca6437882832e118683b32b119fa9b6317b"},"schema_version":"1.0"},"canonical_sha256":"bf0ffbb66889370a8a35cadc957582784b98c2f02bc2fe3a935b7d5fff10b5f8","source":{"kind":"arxiv","id":"1902.09592","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09592","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09592v1","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09592","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"pith_short_12","alias_value":"X4H7XNTIRE3Q","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"X4H7XNTIRE3QVCRV","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"X4H7XNTI","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:X4H7XNTIRE3QVCRVZLOJK5MCPB","target":"record","payload":{"canonical_record":{"source":{"id":"1902.09592","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-25T20:04:13Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"b005d2db31c9d53410f70fdefbddb131dfb2e2b5b4ce69c9fb2a1393eda522d1","abstract_canon_sha256":"d8f8dd7a815f95699745a7e918fbdca6437882832e118683b32b119fa9b6317b"},"schema_version":"1.0"},"canonical_sha256":"bf0ffbb66889370a8a35cadc957582784b98c2f02bc2fe3a935b7d5fff10b5f8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:45.172936Z","signature_b64":"o1ldZ+d/boeLSy0epNy9NUyoMh02q4MLOkWdVzEhi7ILVDR1m50VkRiSnp3bc/arrEkUkRUi3sRXYsh0R+9eCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf0ffbb66889370a8a35cadc957582784b98c2f02bc2fe3a935b7d5fff10b5f8","last_reissued_at":"2026-05-17T23:52:45.172440Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:45.172440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.09592","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-05-17T23:52:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BNU1f6KVKsxtGvrrViZCFDJA1xlMCK/UwVk65OeZxSMJgDIXIj2XDmTHX4iI3MBZUygADbmRJ3yo9utoi304Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:59:04.173684Z"},"content_sha256":"46e882fb7b9f8234a7745dc4805187ff0b9dd1cb17b13b0cde6f216ec74ff337","schema_version":"1.0","event_id":"sha256:46e882fb7b9f8234a7745dc4805187ff0b9dd1cb17b13b0cde6f216ec74ff337"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:X4H7XNTIRE3QVCRVZLOJK5MCPB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Non-Linear Specifications for Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Brendan O'Donoghue, Chongli Qin, Grzegorz Swirszcz, Jonathan Uesato, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli, Robert Stanforth, Rudy Bunel, Sven Gowal","submitted_at":"2019-02-25T20:04:13Z","abstract_excerpt":"Prior work on neural network verification has focused on specifications that are linear functions of the output of the network, e.g., invariance of the classifier output under adversarial perturbations of the input. In this paper, we extend verification algorithms to be able to certify richer properties of neural networks. To do this we introduce the class of convex-relaxable specifications, which constitute nonlinear specifications that can be verified using a convex relaxation. We show that a number of important properties of interest can be modeled within this class, including conservation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09592","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":""},"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-17T23:52:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pbw9M4hJOp4KB5J63qQNIJnrRBQwyU3ASqTb+YPqmxKxWIAAF/0x/XaHZwBi6VupqLUUhhsKTwHv8xTXdG6mBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:59:04.174034Z"},"content_sha256":"063a0a1e0eb19334dcf91b6b3b6ab4c11d2ca2562cbcd6fd522047e69d90b4cc","schema_version":"1.0","event_id":"sha256:063a0a1e0eb19334dcf91b6b3b6ab4c11d2ca2562cbcd6fd522047e69d90b4cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/bundle.json","state_url":"https://pith.science/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/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-06-03T19:59:04Z","links":{"resolver":"https://pith.science/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB","bundle":"https://pith.science/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/bundle.json","state":"https://pith.science/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X4H7XNTIRE3QVCRVZLOJK5MCPB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:X4H7XNTIRE3QVCRVZLOJK5MCPB","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":"d8f8dd7a815f95699745a7e918fbdca6437882832e118683b32b119fa9b6317b","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-25T20:04:13Z","title_canon_sha256":"b005d2db31c9d53410f70fdefbddb131dfb2e2b5b4ce69c9fb2a1393eda522d1"},"schema_version":"1.0","source":{"id":"1902.09592","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09592","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09592v1","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09592","created_at":"2026-05-17T23:52:45Z"},{"alias_kind":"pith_short_12","alias_value":"X4H7XNTIRE3Q","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"X4H7XNTIRE3QVCRV","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"X4H7XNTI","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:063a0a1e0eb19334dcf91b6b3b6ab4c11d2ca2562cbcd6fd522047e69d90b4cc","target":"graph","created_at":"2026-05-17T23:52:45Z","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":"Prior work on neural network verification has focused on specifications that are linear functions of the output of the network, e.g., invariance of the classifier output under adversarial perturbations of the input. In this paper, we extend verification algorithms to be able to certify richer properties of neural networks. To do this we introduce the class of convex-relaxable specifications, which constitute nonlinear specifications that can be verified using a convex relaxation. We show that a number of important properties of interest can be modeled within this class, including conservation ","authors_text":"Brendan O'Donoghue, Chongli Qin, Grzegorz Swirszcz, Jonathan Uesato, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli, Robert Stanforth, Rudy Bunel, Sven Gowal","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-25T20:04:13Z","title":"Verification of Non-Linear Specifications for Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09592","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:46e882fb7b9f8234a7745dc4805187ff0b9dd1cb17b13b0cde6f216ec74ff337","target":"record","created_at":"2026-05-17T23:52:45Z","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":"d8f8dd7a815f95699745a7e918fbdca6437882832e118683b32b119fa9b6317b","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-25T20:04:13Z","title_canon_sha256":"b005d2db31c9d53410f70fdefbddb131dfb2e2b5b4ce69c9fb2a1393eda522d1"},"schema_version":"1.0","source":{"id":"1902.09592","kind":"arxiv","version":1}},"canonical_sha256":"bf0ffbb66889370a8a35cadc957582784b98c2f02bc2fe3a935b7d5fff10b5f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf0ffbb66889370a8a35cadc957582784b98c2f02bc2fe3a935b7d5fff10b5f8","first_computed_at":"2026-05-17T23:52:45.172440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:45.172440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o1ldZ+d/boeLSy0epNy9NUyoMh02q4MLOkWdVzEhi7ILVDR1m50VkRiSnp3bc/arrEkUkRUi3sRXYsh0R+9eCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:45.172936Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.09592","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46e882fb7b9f8234a7745dc4805187ff0b9dd1cb17b13b0cde6f216ec74ff337","sha256:063a0a1e0eb19334dcf91b6b3b6ab4c11d2ca2562cbcd6fd522047e69d90b4cc"],"state_sha256":"a72afc13b1c6ccaa414ea1fb50e6c95b483a5cd662427650966082453276c478"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AXDxegIJyrq12Dfzmqk7uruRC60rP823o0J0KPLtAK97LkCh9NPlxgqi6WFxRZwyzp/EF4wqKQ9Ax7GXfu5UAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T19:59:04.176003Z","bundle_sha256":"d5ca8c0be38cdd48f9921dbb48de18849dc48065cf17bb05e807ca1a8a613c86"}}