{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:A4PALXRCVGXIEPBBKBHBHDZKAW","short_pith_number":"pith:A4PALXRC","canonical_record":{"source":{"id":"1902.09866","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-26T11:23:00Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2b7f22c93af8db6dffc4913c8f3508a8a04f2a3b1b094dd2071624c820c2f4fe","abstract_canon_sha256":"9048dacd63dfef557e963233cb0c28c8fa8ec204190cae887f00626a59c5c255"},"schema_version":"1.0"},"canonical_sha256":"071e05de22a9ae823c21504e138f2a058830a99970123ec79f714c16613ac32a","source":{"kind":"arxiv","id":"1902.09866","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09866","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09866v2","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09866","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_12","alias_value":"A4PALXRCVGXI","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_16","alias_value":"A4PALXRCVGXIEPBB","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_8","alias_value":"A4PALXRC","created_at":"2026-07-05T02:17:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:A4PALXRCVGXIEPBBKBHBHDZKAW","target":"record","payload":{"canonical_record":{"source":{"id":"1902.09866","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-26T11:23:00Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2b7f22c93af8db6dffc4913c8f3508a8a04f2a3b1b094dd2071624c820c2f4fe","abstract_canon_sha256":"9048dacd63dfef557e963233cb0c28c8fa8ec204190cae887f00626a59c5c255"},"schema_version":"1.0"},"canonical_sha256":"071e05de22a9ae823c21504e138f2a058830a99970123ec79f714c16613ac32a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:17:17.867583Z","signature_b64":"S9LyB/UtRfalyCibovcoTn5s5Nj39afnSCPdRaAnl27eiRq9wIbFAxGn5wWZmr71gWxdbH1EvwjTp7MrMVMwCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"071e05de22a9ae823c21504e138f2a058830a99970123ec79f714c16613ac32a","last_reissued_at":"2026-07-05T02:17:17.867078Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:17:17.867078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.09866","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-07-05T02:17:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Rhd9eBxqBqkrIElJfV2ZnULG1k9+lkqYyiP96rPIhWjwJcpDDtMm0vTao9UB+PiYjfWfAQi4/kVS1tiCxaQBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:14:05.401447Z"},"content_sha256":"42cc3a46b48e54fc462d83b78c7ef2cc378c011cf4c436663c9c23e94d082848","schema_version":"1.0","event_id":"sha256:42cc3a46b48e54fc462d83b78c7ef2cc378c011cf4c436663c9c23e94d082848"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:A4PALXRCVGXIEPBBKBHBHDZKAW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Jiangchao Liu, Jianlin Li, Lijun Zhang, Liqian Chen, Pengfei Yang, Xiaowei Huang","submitted_at":"2019-02-26T11:23:00Z","abstract_excerpt":"Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns of applying DNNs to safety-critical domains. Several verification approaches have been developed to automatically prove or disprove safety properties of DNNs. However, these approaches suffer from either the scalability problem, i.e., only small DNNs can be handled, or the precision problem, i.e., the obtained bounds are loose. This paper improves on a recent proposal of analyzing DNNs through the classic abstract int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09866","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1902.09866/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-05T02:17:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b9WoJBYS0cNvwX35iFtXJnG7b0FTGrtO3/hpF9MoeGkB3e5yDT6sVkTs0POeHayiO3B4Qb5oWRS43xU8P0VRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:14:05.401824Z"},"content_sha256":"587ad6fdbd52a52ecc82089deb069e8268bccc490d92ea06bd285d5d88468058","schema_version":"1.0","event_id":"sha256:587ad6fdbd52a52ecc82089deb069e8268bccc490d92ea06bd285d5d88468058"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/bundle.json","state_url":"https://pith.science/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/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-07-07T12:14:05Z","links":{"resolver":"https://pith.science/pith/A4PALXRCVGXIEPBBKBHBHDZKAW","bundle":"https://pith.science/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/bundle.json","state":"https://pith.science/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A4PALXRCVGXIEPBBKBHBHDZKAW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:A4PALXRCVGXIEPBBKBHBHDZKAW","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":"9048dacd63dfef557e963233cb0c28c8fa8ec204190cae887f00626a59c5c255","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-26T11:23:00Z","title_canon_sha256":"2b7f22c93af8db6dffc4913c8f3508a8a04f2a3b1b094dd2071624c820c2f4fe"},"schema_version":"1.0","source":{"id":"1902.09866","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09866","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09866v2","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09866","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_12","alias_value":"A4PALXRCVGXI","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_16","alias_value":"A4PALXRCVGXIEPBB","created_at":"2026-07-05T02:17:17Z"},{"alias_kind":"pith_short_8","alias_value":"A4PALXRC","created_at":"2026-07-05T02:17:17Z"}],"graph_snapshots":[{"event_id":"sha256:587ad6fdbd52a52ecc82089deb069e8268bccc490d92ea06bd285d5d88468058","target":"graph","created_at":"2026-07-05T02:17:17Z","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/1902.09866/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns of applying DNNs to safety-critical domains. Several verification approaches have been developed to automatically prove or disprove safety properties of DNNs. However, these approaches suffer from either the scalability problem, i.e., only small DNNs can be handled, or the precision problem, i.e., the obtained bounds are loose. This paper improves on a recent proposal of analyzing DNNs through the classic abstract int","authors_text":"Jiangchao Liu, Jianlin Li, Lijun Zhang, Liqian Chen, Pengfei Yang, Xiaowei Huang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-26T11:23:00Z","title":"Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09866","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:42cc3a46b48e54fc462d83b78c7ef2cc378c011cf4c436663c9c23e94d082848","target":"record","created_at":"2026-07-05T02:17:17Z","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":"9048dacd63dfef557e963233cb0c28c8fa8ec204190cae887f00626a59c5c255","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-02-26T11:23:00Z","title_canon_sha256":"2b7f22c93af8db6dffc4913c8f3508a8a04f2a3b1b094dd2071624c820c2f4fe"},"schema_version":"1.0","source":{"id":"1902.09866","kind":"arxiv","version":2}},"canonical_sha256":"071e05de22a9ae823c21504e138f2a058830a99970123ec79f714c16613ac32a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"071e05de22a9ae823c21504e138f2a058830a99970123ec79f714c16613ac32a","first_computed_at":"2026-07-05T02:17:17.867078Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:17:17.867078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S9LyB/UtRfalyCibovcoTn5s5Nj39afnSCPdRaAnl27eiRq9wIbFAxGn5wWZmr71gWxdbH1EvwjTp7MrMVMwCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:17:17.867583Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.09866","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42cc3a46b48e54fc462d83b78c7ef2cc378c011cf4c436663c9c23e94d082848","sha256:587ad6fdbd52a52ecc82089deb069e8268bccc490d92ea06bd285d5d88468058"],"state_sha256":"b6306184be76bca9d2835d124f50409e975f5d780f99330f693b468dcee2675f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O+qxT3lesjm1ZzbpieNjkVRY0h/TALkO5zzVkR4QMFRe87xlMBdGyMTIS+gjG+MmyEndTNIVTCi6nWRQVUJBCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T12:14:05.403769Z","bundle_sha256":"a79579348267551e040827d3288f8f6793fd65f45a9075a0bd14143ae0eead6b"}}