{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","short_pith_number":"pith:ZQYJ6BCT","canonical_record":{"source":{"id":"2504.20942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-29T17:06:22Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"0a1b27ff85685443c96b33c039ec9aa5e76ba531d45b44b018c78d8cc098b9b6","abstract_canon_sha256":"32e165999dd9fee7a6708b6425a6b67c5847fd05ba76cb6d9b8ad6ddebe512cc"},"schema_version":"1.0"},"canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","source":{"kind":"arxiv","id":"2504.20942","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.20942","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"arxiv_version","alias_value":"2504.20942v1","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.20942","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZQYJ6BCTKDIP","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZQYJ6BCTKDIP3P4N","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZQYJ6BCT","created_at":"2026-07-05T10:55:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","target":"record","payload":{"canonical_record":{"source":{"id":"2504.20942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-29T17:06:22Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"0a1b27ff85685443c96b33c039ec9aa5e76ba531d45b44b018c78d8cc098b9b6","abstract_canon_sha256":"32e165999dd9fee7a6708b6425a6b67c5847fd05ba76cb6d9b8ad6ddebe512cc"},"schema_version":"1.0"},"canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:55:51.923695Z","signature_b64":"Asp+y6QP29x7+J2yHPyS73xYc112nmmiimF0igbcUxVo+OD8ic+B23ZnSXfWjSef+522cpkIGK+3+xq5KkpOBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","last_reissued_at":"2026-07-05T10:55:51.923228Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:55:51.923228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.20942","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-05T10:55:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BvudIjl/pagKFf7quPBATkog/6VJ4PHpQj+bTg+3Weh70NEu6D1AjUL4SOWS9aOVYpEAL7fKMhuesEOFs3+qBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:30:57.114135Z"},"content_sha256":"73b5bb1bd8bfb9c03f7523c4f791b91cbb27c150a3dc117a673091c944acbfd7","schema_version":"1.0","event_id":"sha256:73b5bb1bd8bfb9c03f7523c4f791b91cbb27c150a3dc117a673091c944acbfd7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.LG","authors_text":"Christopher Watson, Corina S. Pasareanu, Divya Gopinath, Rajeev Alur, Ravi Mangal","submitted_at":"2025-04-29T17:06:22Z","abstract_excerpt":"Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as well as hard-to-quantify, changing environment conditions. To address these challenges, we propose a probabilistic verification framework for autonomous systems based on the following key concepts: (1) Scenario-based Modeling: We decompose the task (e.g., car navigation) into a composition of scenarios, each representing a different environment condition. (2)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.20942","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/2504.20942/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-05T10:55:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"268M8w8R6/I4vH8AIeZBDbbxBqAF6ahuqrPSGveNXR7rVYDkEKUkr63ie7hmNo6J9jExNcIHpxcH9wXmS4o9AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:30:57.114905Z"},"content_sha256":"5dcba5d2624142242c449639dd87a50a7fac9ba6e16b01426ccfd39854692343","schema_version":"1.0","event_id":"sha256:5dcba5d2624142242c449639dd87a50a7fac9ba6e16b01426ccfd39854692343"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/bundle.json","state_url":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/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-08-08T01:30:57Z","links":{"resolver":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","bundle":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/bundle.json","state":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","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":"32e165999dd9fee7a6708b6425a6b67c5847fd05ba76cb6d9b8ad6ddebe512cc","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-29T17:06:22Z","title_canon_sha256":"0a1b27ff85685443c96b33c039ec9aa5e76ba531d45b44b018c78d8cc098b9b6"},"schema_version":"1.0","source":{"id":"2504.20942","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.20942","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"arxiv_version","alias_value":"2504.20942v1","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.20942","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZQYJ6BCTKDIP","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZQYJ6BCTKDIP3P4N","created_at":"2026-07-05T10:55:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZQYJ6BCT","created_at":"2026-07-05T10:55:51Z"}],"graph_snapshots":[{"event_id":"sha256:5dcba5d2624142242c449639dd87a50a7fac9ba6e16b01426ccfd39854692343","target":"graph","created_at":"2026-07-05T10:55:51Z","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/2504.20942/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as well as hard-to-quantify, changing environment conditions. To address these challenges, we propose a probabilistic verification framework for autonomous systems based on the following key concepts: (1) Scenario-based Modeling: We decompose the task (e.g., car navigation) into a composition of scenarios, each representing a different environment condition. (2)","authors_text":"Christopher Watson, Corina S. Pasareanu, Divya Gopinath, Rajeev Alur, Ravi Mangal","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-29T17:06:22Z","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.20942","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:73b5bb1bd8bfb9c03f7523c4f791b91cbb27c150a3dc117a673091c944acbfd7","target":"record","created_at":"2026-07-05T10:55:51Z","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":"32e165999dd9fee7a6708b6425a6b67c5847fd05ba76cb6d9b8ad6ddebe512cc","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-29T17:06:22Z","title_canon_sha256":"0a1b27ff85685443c96b33c039ec9aa5e76ba531d45b44b018c78d8cc098b9b6"},"schema_version":"1.0","source":{"id":"2504.20942","kind":"arxiv","version":1}},"canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","first_computed_at":"2026-07-05T10:55:51.923228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:55:51.923228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Asp+y6QP29x7+J2yHPyS73xYc112nmmiimF0igbcUxVo+OD8ic+B23ZnSXfWjSef+522cpkIGK+3+xq5KkpOBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:55:51.923695Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.20942","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73b5bb1bd8bfb9c03f7523c4f791b91cbb27c150a3dc117a673091c944acbfd7","sha256:5dcba5d2624142242c449639dd87a50a7fac9ba6e16b01426ccfd39854692343"],"state_sha256":"85a3fdfaeb7f29230a39ad72a21256f65a69b2aea4cc3b4c51208d947cbc3c90"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TiemxE/qz0ERkwnEMIJtCtecJDICl3NLhg1hfu0PNUtmxHoUiIvbCAMJFc/Ej9wk2qq9hpyKW2cipY7974ZnAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T01:30:57.135653Z","bundle_sha256":"8746637ae36505b3f382b0bfc078eb96742f730e3b8a3e9cfe1acb8090e2e7e7"}}