{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","short_pith_number":"pith:ZQYJ6BCT","schema_version":"1.0","canonical_sha256":"cc309f045350d0fdbf8dae333e440c1642ed5ce8750a5b9b8dc9d6bff2ed7469","source":{"kind":"arxiv","id":"2504.20942","version":1},"attestation_state":"computed","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)"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2504.20942","created_at":"2026-07-05T10:55:51.923283+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.20942v1","created_at":"2026-07-05T10:55:51.923283+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.20942","created_at":"2026-07-05T10:55:51.923283+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZQYJ6BCTKDIP","created_at":"2026-07-05T10:55:51.923283+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZQYJ6BCTKDIP3P4N","created_at":"2026-07-05T10:55:51.923283+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZQYJ6BCT","created_at":"2026-07-05T10:55:51.923283+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.04523","citing_title":"Verification of Visual Controllers via Compositional Geometric Transformations","ref_index":33,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","json":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ.json","graph_json":"https://pith.science/api/pith-number/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/graph.json","events_json":"https://pith.science/api/pith-number/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/events.json","paper":"https://pith.science/paper/ZQYJ6BCT"},"agent_actions":{"view_html":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ","download_json":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ.json","view_paper":"https://pith.science/paper/ZQYJ6BCT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.20942&json=true","fetch_graph":"https://pith.science/api/pith-number/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/graph.json","fetch_events":"https://pith.science/api/pith-number/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/action/storage_attestation","attest_author":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/action/author_attestation","sign_citation":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/action/citation_signature","submit_replication":"https://pith.science/pith/ZQYJ6BCTKDIP3P4NVYZT4RAMCZ/action/replication_record"}},"created_at":"2026-07-05T10:55:51.923283+00:00","updated_at":"2026-07-05T10:55:51.923283+00:00"}