{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:O2HW3JD3IPPCEVHZ3NOSG44D2P","short_pith_number":"pith:O2HW3JD3","canonical_record":{"source":{"id":"1909.09142","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-18T20:54:10Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"296429b4b14f69d43330a68d02b2a02612b42ee391acaca36c91b39fbc02c808","abstract_canon_sha256":"a4ddfacdebb00778fe13b1f8c37dfa67b22d878ad609e86e3dc1cad63ae11555"},"schema_version":"1.0"},"canonical_sha256":"768f6da47b43de2254f9db5d237383d3d11893d1c9d5dee50f5184c706fbf0c1","source":{"kind":"arxiv","id":"1909.09142","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.09142","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"arxiv_version","alias_value":"1909.09142v1","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.09142","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_12","alias_value":"O2HW3JD3IPPC","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_16","alias_value":"O2HW3JD3IPPCEVHZ","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_8","alias_value":"O2HW3JD3","created_at":"2026-07-05T00:05:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:O2HW3JD3IPPCEVHZ3NOSG44D2P","target":"record","payload":{"canonical_record":{"source":{"id":"1909.09142","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-18T20:54:10Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"296429b4b14f69d43330a68d02b2a02612b42ee391acaca36c91b39fbc02c808","abstract_canon_sha256":"a4ddfacdebb00778fe13b1f8c37dfa67b22d878ad609e86e3dc1cad63ae11555"},"schema_version":"1.0"},"canonical_sha256":"768f6da47b43de2254f9db5d237383d3d11893d1c9d5dee50f5184c706fbf0c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:05:55.720733Z","signature_b64":"T9ZCcLJWNe1fryeyNS2k5G1kKezmu7vHwmxfRAhCUW8xcJYtLgtq4PabeVPf2Q9ScmwFiko3WN2n+of2D33HAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"768f6da47b43de2254f9db5d237383d3d11893d1c9d5dee50f5184c706fbf0c1","last_reissued_at":"2026-07-05T00:05:55.720346Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:05:55.720346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.09142","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-07-05T00:05:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UYgN900gfOuBBk+y9vcLCoEbh3elEliWc4PuLBMvAOb0nZBhQasro3PnQeo4l/Iujk91cptsMNrb2vDnlFmLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T08:33:08.196967Z"},"content_sha256":"9e7a36444415e2a832d00c0f91c39ad9b5d6fd5b4d0db9cb789d30a2c60b776e","schema_version":"1.0","event_id":"sha256:9e7a36444415e2a832d00c0f91c39ad9b5d6fd5b4d0db9cb789d30a2c60b776e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:O2HW3JD3IPPCEVHZ3NOSG44D2P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Anitha Murugesan, Hao Ren, Sai Krishnan Chandrasekar","submitted_at":"2019-09-18T20:54:10Z","abstract_excerpt":"Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to rigorously assure the safe operation of such systems hinders their real-world adoption in safety-critical domains such as aerospace and medical devices. Hence, there is a surge in interest to explore the use of advanced mathematical techniques such as formal methods to address this challenge. In fact, the initial results of such efforts are promising. Along these lines, we propose the use of quantifier elimination ("},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.09142","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1909.09142/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-05T00:05:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wxKXSCeoYaTbX56k1Qhblp2KSfGxLPHiNQvACTesRP7DyrmcOZvD4V0sgIKxwz6ynveGb/wZlKSBHLsUs+dRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T08:33:08.197368Z"},"content_sha256":"b278edb72512d3871c73b84c6e9879c623176c41468c643d0ed9d1c0878dfb93","schema_version":"1.0","event_id":"sha256:b278edb72512d3871c73b84c6e9879c623176c41468c643d0ed9d1c0878dfb93"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/bundle.json","state_url":"https://pith.science/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/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-11T08:33:08Z","links":{"resolver":"https://pith.science/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P","bundle":"https://pith.science/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/bundle.json","state":"https://pith.science/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2HW3JD3IPPCEVHZ3NOSG44D2P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:O2HW3JD3IPPCEVHZ3NOSG44D2P","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":"a4ddfacdebb00778fe13b1f8c37dfa67b22d878ad609e86e3dc1cad63ae11555","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-18T20:54:10Z","title_canon_sha256":"296429b4b14f69d43330a68d02b2a02612b42ee391acaca36c91b39fbc02c808"},"schema_version":"1.0","source":{"id":"1909.09142","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.09142","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"arxiv_version","alias_value":"1909.09142v1","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.09142","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_12","alias_value":"O2HW3JD3IPPC","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_16","alias_value":"O2HW3JD3IPPCEVHZ","created_at":"2026-07-05T00:05:55Z"},{"alias_kind":"pith_short_8","alias_value":"O2HW3JD3","created_at":"2026-07-05T00:05:55Z"}],"graph_snapshots":[{"event_id":"sha256:b278edb72512d3871c73b84c6e9879c623176c41468c643d0ed9d1c0878dfb93","target":"graph","created_at":"2026-07-05T00:05:55Z","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/1909.09142/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to rigorously assure the safe operation of such systems hinders their real-world adoption in safety-critical domains such as aerospace and medical devices. Hence, there is a surge in interest to explore the use of advanced mathematical techniques such as formal methods to address this challenge. In fact, the initial results of such efforts are promising. Along these lines, we propose the use of quantifier elimination (","authors_text":"Anitha Murugesan, Hao Ren, Sai Krishnan Chandrasekar","cross_cats":["cs.AI","cs.LO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-18T20:54:10Z","title":"Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.09142","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:9e7a36444415e2a832d00c0f91c39ad9b5d6fd5b4d0db9cb789d30a2c60b776e","target":"record","created_at":"2026-07-05T00:05:55Z","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":"a4ddfacdebb00778fe13b1f8c37dfa67b22d878ad609e86e3dc1cad63ae11555","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-09-18T20:54:10Z","title_canon_sha256":"296429b4b14f69d43330a68d02b2a02612b42ee391acaca36c91b39fbc02c808"},"schema_version":"1.0","source":{"id":"1909.09142","kind":"arxiv","version":1}},"canonical_sha256":"768f6da47b43de2254f9db5d237383d3d11893d1c9d5dee50f5184c706fbf0c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"768f6da47b43de2254f9db5d237383d3d11893d1c9d5dee50f5184c706fbf0c1","first_computed_at":"2026-07-05T00:05:55.720346Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:05:55.720346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T9ZCcLJWNe1fryeyNS2k5G1kKezmu7vHwmxfRAhCUW8xcJYtLgtq4PabeVPf2Q9ScmwFiko3WN2n+of2D33HAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:05:55.720733Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.09142","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e7a36444415e2a832d00c0f91c39ad9b5d6fd5b4d0db9cb789d30a2c60b776e","sha256:b278edb72512d3871c73b84c6e9879c623176c41468c643d0ed9d1c0878dfb93"],"state_sha256":"2713c2bab993b0fceaabe3063bac779619a03459b79eea68e9a65e7330529a10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RKNJlm9Xw6EsmhARLoMev6Ai//C4ioI5uYA26LsNC1vGMFkrj1GJ9K5g/lyPR4D4DitnfHq2RokL5VN+z1UjCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-11T08:33:08.199636Z","bundle_sha256":"5aaf4295eec4a01f096db763720f019f5ac35276116299b8efbd0c6e6122f45b"}}