{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:F645ZAEQKUZ7YSJMNEOYMOQQNB","short_pith_number":"pith:F645ZAEQ","canonical_record":{"source":{"id":"1805.02242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-06T16:33:52Z","cross_cats_sorted":["cs.CV","stat.ML"],"title_canon_sha256":"2f430979f773db0431f3458db98f762268074dabc84450da869dce13af8f0238","abstract_canon_sha256":"9beec84fcc954c246de07a7d38eb2ee6b666c8127eefb5d8c4b97e4211fd8177"},"schema_version":"1.0"},"canonical_sha256":"2fb9dc80905533fc492c691d863a106850e30214b5d45f31816ed0c12d1b1ae6","source":{"kind":"arxiv","id":"1805.02242","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02242","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02242v1","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02242","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"pith_short_12","alias_value":"F645ZAEQKUZ7","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F645ZAEQKUZ7YSJM","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F645ZAEQ","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:F645ZAEQKUZ7YSJMNEOYMOQQNB","target":"record","payload":{"canonical_record":{"source":{"id":"1805.02242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-06T16:33:52Z","cross_cats_sorted":["cs.CV","stat.ML"],"title_canon_sha256":"2f430979f773db0431f3458db98f762268074dabc84450da869dce13af8f0238","abstract_canon_sha256":"9beec84fcc954c246de07a7d38eb2ee6b666c8127eefb5d8c4b97e4211fd8177"},"schema_version":"1.0"},"canonical_sha256":"2fb9dc80905533fc492c691d863a106850e30214b5d45f31816ed0c12d1b1ae6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:40.465442Z","signature_b64":"yY04RmADl3RHkbxz9uGC37HcSONwVerI0nwzj21sn2QpbvWxZygDu9WIUKSIwHkN8eG4Cp1HqvY6QjcfQvQKCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fb9dc80905533fc492c691d863a106850e30214b5d45f31816ed0c12d1b1ae6","last_reissued_at":"2026-05-18T00:16:40.464887Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:40.464887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.02242","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-18T00:16:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zp6E9ivGQjuRTZ6ER7NJtAhp5c+VnuedrNChXUz+EyeSxRmVIbpW+0XXg//qHtCLriXDRs5UHDLURjJ5W4LvAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:00:12.714302Z"},"content_sha256":"e51e12fa003e2ccd219e3ae40545a2e4719123fadac400f3bb3591525eb55e64","schema_version":"1.0","event_id":"sha256:e51e12fa003e2ccd219e3ae40545a2e4719123fadac400f3bb3591525eb55e64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:F645ZAEQKUZ7YSJMNEOYMOQQNB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","stat.ML"],"primary_cat":"cs.LG","authors_text":"Marta Kwiatkowska, Wenjie Ruan, Xiaowei Huang","submitted_at":"2018-05-06T16:33:52Z","abstract_excerpt":"Verifying correctness of deep neural networks (DNNs) is challenging. We study a generic reachability problem for feed-forward DNNs which, for a given set of inputs to the network and a Lipschitz-continuous function over its outputs, computes the lower and upper bound on the function values. Because the network and the function are Lipschitz continuous, all values in the interval between the lower and upper bound are reachable. We show how to obtain the safety verification problem, the output range analysis problem and a robustness measure by instantiating the reachability problem. We present a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02242","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-18T00:16:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jZl6Dm1ca2+0AOPWXtlVBWG8IVAh291xgOHurkJpdIaUYjDOZCmzapgodQ5UszltTC5GUjKYWK22KmoyB57VBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:00:12.714951Z"},"content_sha256":"b468542ed9402557efc7e27434f4a317073e3a621cfbe6cdcbd546a78437620e","schema_version":"1.0","event_id":"sha256:b468542ed9402557efc7e27434f4a317073e3a621cfbe6cdcbd546a78437620e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/bundle.json","state_url":"https://pith.science/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/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-26T04:00:12Z","links":{"resolver":"https://pith.science/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB","bundle":"https://pith.science/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/bundle.json","state":"https://pith.science/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F645ZAEQKUZ7YSJMNEOYMOQQNB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:F645ZAEQKUZ7YSJMNEOYMOQQNB","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":"9beec84fcc954c246de07a7d38eb2ee6b666c8127eefb5d8c4b97e4211fd8177","cross_cats_sorted":["cs.CV","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-06T16:33:52Z","title_canon_sha256":"2f430979f773db0431f3458db98f762268074dabc84450da869dce13af8f0238"},"schema_version":"1.0","source":{"id":"1805.02242","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02242","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02242v1","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02242","created_at":"2026-05-18T00:16:40Z"},{"alias_kind":"pith_short_12","alias_value":"F645ZAEQKUZ7","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F645ZAEQKUZ7YSJM","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F645ZAEQ","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:b468542ed9402557efc7e27434f4a317073e3a621cfbe6cdcbd546a78437620e","target":"graph","created_at":"2026-05-18T00:16:40Z","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":"Verifying correctness of deep neural networks (DNNs) is challenging. We study a generic reachability problem for feed-forward DNNs which, for a given set of inputs to the network and a Lipschitz-continuous function over its outputs, computes the lower and upper bound on the function values. Because the network and the function are Lipschitz continuous, all values in the interval between the lower and upper bound are reachable. We show how to obtain the safety verification problem, the output range analysis problem and a robustness measure by instantiating the reachability problem. We present a","authors_text":"Marta Kwiatkowska, Wenjie Ruan, Xiaowei Huang","cross_cats":["cs.CV","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-06T16:33:52Z","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02242","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:e51e12fa003e2ccd219e3ae40545a2e4719123fadac400f3bb3591525eb55e64","target":"record","created_at":"2026-05-18T00:16:40Z","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":"9beec84fcc954c246de07a7d38eb2ee6b666c8127eefb5d8c4b97e4211fd8177","cross_cats_sorted":["cs.CV","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-06T16:33:52Z","title_canon_sha256":"2f430979f773db0431f3458db98f762268074dabc84450da869dce13af8f0238"},"schema_version":"1.0","source":{"id":"1805.02242","kind":"arxiv","version":1}},"canonical_sha256":"2fb9dc80905533fc492c691d863a106850e30214b5d45f31816ed0c12d1b1ae6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fb9dc80905533fc492c691d863a106850e30214b5d45f31816ed0c12d1b1ae6","first_computed_at":"2026-05-18T00:16:40.464887Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:40.464887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yY04RmADl3RHkbxz9uGC37HcSONwVerI0nwzj21sn2QpbvWxZygDu9WIUKSIwHkN8eG4Cp1HqvY6QjcfQvQKCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:40.465442Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.02242","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e51e12fa003e2ccd219e3ae40545a2e4719123fadac400f3bb3591525eb55e64","sha256:b468542ed9402557efc7e27434f4a317073e3a621cfbe6cdcbd546a78437620e"],"state_sha256":"48a1e2e20b2e561ad9d6a46b4b5bb137f61d16a169489e4c1886620886f542e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+a0R5JXxBR6pSlfFRUyrheOIFOClakHHYYHjeNs9TjntM9IbCnlqn4HIURPgn53eTq1mdjKXPSKX7QSvXYCfBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:00:12.718277Z","bundle_sha256":"41be83b1024f5dca41542dbbe0564659df8b7f4ea3c5f1048b5ff10703ed1242"}}