{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XLATSVGWGRIYBB4YPJBRQKU3VT","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":"56ecfeb739cdff269f7d2875ec8e6f6a89d0af7a58650e0cef883008912c8687","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-03T09:01:59Z","title_canon_sha256":"14cdf68c905607bfdb33fbb140a2f4e2c36c305f487d72ec56dff9441438453c"},"schema_version":"1.0","source":{"id":"2304.00813","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.00813","created_at":"2026-07-05T05:57:22Z"},{"alias_kind":"arxiv_version","alias_value":"2304.00813v1","created_at":"2026-07-05T05:57:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.00813","created_at":"2026-07-05T05:57:22Z"},{"alias_kind":"pith_short_12","alias_value":"XLATSVGWGRIY","created_at":"2026-07-05T05:57:22Z"},{"alias_kind":"pith_short_16","alias_value":"XLATSVGWGRIYBB4Y","created_at":"2026-07-05T05:57:22Z"},{"alias_kind":"pith_short_8","alias_value":"XLATSVGW","created_at":"2026-07-05T05:57:22Z"}],"graph_snapshots":[{"event_id":"sha256:108b336bb34ca285ce4cc591af7500a8611e776f1e1d94e5b2d599931385e4e4","target":"graph","created_at":"2026-07-05T05:57:22Z","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/2304.00813/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Networks (DNNs). They either target one particular network category, e.g., Feedforward Neural Networks (FNNs), or networks with specific activation functions, e.g., RdLU. In this paper, we develop a model-agnostic verification framework, called DeepAgn, and show that it can be applied to FNNs, Recurrent Neural Networks (RNNs), or a mixture of both. Under the assumption of Lipschitz continuity, DeepAgn analyses the reach","authors_text":"Chi Zhang, Fu Wang, Geyong Min, Peipei Xu, Wenjie Ruan, Xiaowei Huang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-03T09:01:59Z","title":"Model-Agnostic Reachability Analysis on Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.00813","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:ea2f05dbe82f8e058e9576ea8d1845c02e636e88102e1bcba5ef5d4e1832abb4","target":"record","created_at":"2026-07-05T05:57:22Z","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":"56ecfeb739cdff269f7d2875ec8e6f6a89d0af7a58650e0cef883008912c8687","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-03T09:01:59Z","title_canon_sha256":"14cdf68c905607bfdb33fbb140a2f4e2c36c305f487d72ec56dff9441438453c"},"schema_version":"1.0","source":{"id":"2304.00813","kind":"arxiv","version":1}},"canonical_sha256":"bac13954d634518087987a43182a9bace0f5798580dcd5fc94668bffec7976dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bac13954d634518087987a43182a9bace0f5798580dcd5fc94668bffec7976dc","first_computed_at":"2026-07-05T05:57:22.963403Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:57:22.963403Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gEHP5654/NOgQj72wrpPKjqtAcN+T648/TektXbpKy6Vn+svfK+OUxtPK5oBte48TDcyJMg8YwXTYnIsDqQTCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:57:22.963845Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.00813","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea2f05dbe82f8e058e9576ea8d1845c02e636e88102e1bcba5ef5d4e1832abb4","sha256:108b336bb34ca285ce4cc591af7500a8611e776f1e1d94e5b2d599931385e4e4"],"state_sha256":"8213b215f03897cc64b55e9229c69c07166c6e1dafedb83916485933a968c35c"}