{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:VBTHNQ7M65FVCRGMHFNGAVVWC5","short_pith_number":"pith:VBTHNQ7M","canonical_record":{"source":{"id":"1906.10395","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-25T09:08:03Z","cross_cats_sorted":["cs.AI","cs.LG","cs.LO"],"title_canon_sha256":"d3c566f83c42c6dd8c2bd7e795b40f4347fb0e5f6e0de0858e189ebcd70d4f27","abstract_canon_sha256":"4af9c60699f1e21aab2ec576cb9e5f9c49359048a2e11721e7f49d0d5bbf1a2b"},"schema_version":"1.0"},"canonical_sha256":"a86676c3ecf74b5144cc395a6056b61748e40d7d78f68b84441d984818d6f55f","source":{"kind":"arxiv","id":"1906.10395","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10395","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10395v1","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10395","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"pith_short_12","alias_value":"VBTHNQ7M65FV","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VBTHNQ7M65FVCRGM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VBTHNQ7M","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:VBTHNQ7M65FVCRGMHFNGAVVWC5","target":"record","payload":{"canonical_record":{"source":{"id":"1906.10395","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-25T09:08:03Z","cross_cats_sorted":["cs.AI","cs.LG","cs.LO"],"title_canon_sha256":"d3c566f83c42c6dd8c2bd7e795b40f4347fb0e5f6e0de0858e189ebcd70d4f27","abstract_canon_sha256":"4af9c60699f1e21aab2ec576cb9e5f9c49359048a2e11721e7f49d0d5bbf1a2b"},"schema_version":"1.0"},"canonical_sha256":"a86676c3ecf74b5144cc395a6056b61748e40d7d78f68b84441d984818d6f55f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:18.197047Z","signature_b64":"3FjhDLJplaQqwEhDVosud+ek/6hc8Lkcx2VFdZKJ3atta90a0cO1zBDCFMpOMKpKj9V7vgZEAFm1UzptW68+AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a86676c3ecf74b5144cc395a6056b61748e40d7d78f68b84441d984818d6f55f","last_reissued_at":"2026-05-17T23:42:18.196602Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:18.196602Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.10395","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:42:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BIH8cgcN0ReguPVbXLd3f26ej64Uhi6MzkdWRe8Q80g52ujfV1um2Xsu8ZLag/OdvlD7DWG+iA6jVPf1jFaDCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:22:30.915981Z"},"content_sha256":"42353808b49128e1dbf19bf1adab18f77320a591eca8e653bc29480d1234f6c8","schema_version":"1.0","event_id":"sha256:42353808b49128e1dbf19bf1adab18f77320a591eca8e653bc29480d1234f6c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:VBTHNQ7M65FVCRGMHFNGAVVWC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Verification of Neural Networks And its Security Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.LO"],"primary_cat":"cs.CR","authors_text":"Kuldeep S. Meel, Prateek Saxena, Shiqi Shen, Shweta Shinde, Teodora Baluta","submitted_at":"2019-06-25T09:08:03Z","abstract_excerpt":"Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein the goal is to check whether there exists any input that violates a given property of interest. However, neural network training is a stochastic process, and many questions arising in their analysis require probabilistic and quantitative reasoning, i.e., estimating how many inputs satisfy a given property. To this end, our paper proposes a novel and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10395","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:42:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YnHwpFAH2+MaZB2qngIvSHkUbRMlcqLZkPPaXd7hwhOiI5imLfXlvbcRLW0Ts1mVtxQqmmAxMRaJW+8RpwkoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:22:30.916344Z"},"content_sha256":"e247de5328f359a5e8b42de7cc2684c40fb7184bca3a77a1e3474d221797fa98","schema_version":"1.0","event_id":"sha256:e247de5328f359a5e8b42de7cc2684c40fb7184bca3a77a1e3474d221797fa98"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/bundle.json","state_url":"https://pith.science/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/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-25T04:22:30Z","links":{"resolver":"https://pith.science/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5","bundle":"https://pith.science/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/bundle.json","state":"https://pith.science/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VBTHNQ7M65FVCRGMHFNGAVVWC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VBTHNQ7M65FVCRGMHFNGAVVWC5","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":"4af9c60699f1e21aab2ec576cb9e5f9c49359048a2e11721e7f49d0d5bbf1a2b","cross_cats_sorted":["cs.AI","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-25T09:08:03Z","title_canon_sha256":"d3c566f83c42c6dd8c2bd7e795b40f4347fb0e5f6e0de0858e189ebcd70d4f27"},"schema_version":"1.0","source":{"id":"1906.10395","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.10395","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"arxiv_version","alias_value":"1906.10395v1","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.10395","created_at":"2026-05-17T23:42:18Z"},{"alias_kind":"pith_short_12","alias_value":"VBTHNQ7M65FV","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VBTHNQ7M65FVCRGM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VBTHNQ7M","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:e247de5328f359a5e8b42de7cc2684c40fb7184bca3a77a1e3474d221797fa98","target":"graph","created_at":"2026-05-17T23:42:18Z","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":"Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein the goal is to check whether there exists any input that violates a given property of interest. However, neural network training is a stochastic process, and many questions arising in their analysis require probabilistic and quantitative reasoning, i.e., estimating how many inputs satisfy a given property. To this end, our paper proposes a novel and ","authors_text":"Kuldeep S. Meel, Prateek Saxena, Shiqi Shen, Shweta Shinde, Teodora Baluta","cross_cats":["cs.AI","cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-25T09:08:03Z","title":"Quantitative Verification of Neural Networks And its Security Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.10395","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:42353808b49128e1dbf19bf1adab18f77320a591eca8e653bc29480d1234f6c8","target":"record","created_at":"2026-05-17T23:42:18Z","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":"4af9c60699f1e21aab2ec576cb9e5f9c49359048a2e11721e7f49d0d5bbf1a2b","cross_cats_sorted":["cs.AI","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-06-25T09:08:03Z","title_canon_sha256":"d3c566f83c42c6dd8c2bd7e795b40f4347fb0e5f6e0de0858e189ebcd70d4f27"},"schema_version":"1.0","source":{"id":"1906.10395","kind":"arxiv","version":1}},"canonical_sha256":"a86676c3ecf74b5144cc395a6056b61748e40d7d78f68b84441d984818d6f55f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a86676c3ecf74b5144cc395a6056b61748e40d7d78f68b84441d984818d6f55f","first_computed_at":"2026-05-17T23:42:18.196602Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:18.196602Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3FjhDLJplaQqwEhDVosud+ek/6hc8Lkcx2VFdZKJ3atta90a0cO1zBDCFMpOMKpKj9V7vgZEAFm1UzptW68+AA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:18.197047Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.10395","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42353808b49128e1dbf19bf1adab18f77320a591eca8e653bc29480d1234f6c8","sha256:e247de5328f359a5e8b42de7cc2684c40fb7184bca3a77a1e3474d221797fa98"],"state_sha256":"efc93262fbc714b1f84bf66981be6009720e237583e639c761a014d8eb985932"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/aE2gqU8SWuXTlNf4zNUHzAFkrrCW+Gy9hNoO/SkZ9jWoSj1of5vU1DXmjCV3WG15eyDtQQ9m6RcXqiTnSwGCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T04:22:30.918824Z","bundle_sha256":"bcab2ce9bfb3af40b74ca093304e7251d2344056fbe0437d326195102fcea3de"}}