{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:Z3SRNCCZCKDSVERPLMU6U2SY6U","short_pith_number":"pith:Z3SRNCCZ","schema_version":"1.0","canonical_sha256":"cee516885912872a922f5b29ea6a58f5265c3fd1cdd4c350a78ca4117f2b6770","source":{"kind":"arxiv","id":"1810.08303","version":1},"attestation_state":"computed","paper":{"title":"Compositional Verification for Autonomous Systems with Deep Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Corina S. Pasareanu, Divya Gopinath, Huafeng Yu","submitted_at":"2018-10-18T23:16:23Z","abstract_excerpt":"As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for such systems. The problem is difficult, as these are large, complex systems which operate in uncertain environments, requiring data-driven machine-learning components. However, learning techniques such as Deep Neural Networks, widely used today, are inherently unpredictable and lack the theoretical foundations to provide strong assurance guarantees. We present a compositional approach for the scalable, formal verificat"},"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":"1810.08303","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-18T23:16:23Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"5f99379c36698f5c8c46ffbfd43c2e58ae7183abd665d8242b110fdbf686fc96","abstract_canon_sha256":"b5782a563a878a186c5f1401f4993e037b82d44d898175f4ffb78c279bc811b2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:48.563082Z","signature_b64":"b4aYbYspUJiunNQHqZ0srazsi0GHFnBSFkq0WCukF5oXYequxCt9A9DNLeT1F0pBnd/LCd5dOyAImV7Dup5jDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cee516885912872a922f5b29ea6a58f5265c3fd1cdd4c350a78ca4117f2b6770","last_reissued_at":"2026-05-18T00:02:48.562497Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:48.562497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compositional Verification for Autonomous Systems with Deep Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Corina S. Pasareanu, Divya Gopinath, Huafeng Yu","submitted_at":"2018-10-18T23:16:23Z","abstract_excerpt":"As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for such systems. The problem is difficult, as these are large, complex systems which operate in uncertain environments, requiring data-driven machine-learning components. However, learning techniques such as Deep Neural Networks, widely used today, are inherently unpredictable and lack the theoretical foundations to provide strong assurance guarantees. We present a compositional approach for the scalable, formal verificat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.08303","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.08303","created_at":"2026-05-18T00:02:48.562586+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.08303v1","created_at":"2026-05-18T00:02:48.562586+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.08303","created_at":"2026-05-18T00:02:48.562586+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z3SRNCCZCKDS","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z3SRNCCZCKDSVERP","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z3SRNCCZ","created_at":"2026-05-18T12:33:04.347982+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U","json":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U.json","graph_json":"https://pith.science/api/pith-number/Z3SRNCCZCKDSVERPLMU6U2SY6U/graph.json","events_json":"https://pith.science/api/pith-number/Z3SRNCCZCKDSVERPLMU6U2SY6U/events.json","paper":"https://pith.science/paper/Z3SRNCCZ"},"agent_actions":{"view_html":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U","download_json":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U.json","view_paper":"https://pith.science/paper/Z3SRNCCZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.08303&json=true","fetch_graph":"https://pith.science/api/pith-number/Z3SRNCCZCKDSVERPLMU6U2SY6U/graph.json","fetch_events":"https://pith.science/api/pith-number/Z3SRNCCZCKDSVERPLMU6U2SY6U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U/action/storage_attestation","attest_author":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U/action/author_attestation","sign_citation":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U/action/citation_signature","submit_replication":"https://pith.science/pith/Z3SRNCCZCKDSVERPLMU6U2SY6U/action/replication_record"}},"created_at":"2026-05-18T00:02:48.562586+00:00","updated_at":"2026-05-18T00:02:48.562586+00:00"}