{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2SVJXTI2NFXRJRBBNDCYQ2RI6N","short_pith_number":"pith:2SVJXTI2","canonical_record":{"source":{"id":"2502.12267","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-17T19:07:41Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2e1ff1101386e7ed6c2102c996243ca11d831a34903fc73cfa5fffe88569a970","abstract_canon_sha256":"7bb59da4cb67b73ad10afba48a5eb6edc944f9620a580a0b024fa644565831e9"},"schema_version":"1.0"},"canonical_sha256":"d4aa9bcd1a696f14c42168c5886a28f35183abf82ba8cee80e06412e135f775e","source":{"kind":"arxiv","id":"2502.12267","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12267","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12267v2","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12267","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_12","alias_value":"2SVJXTI2NFXR","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_16","alias_value":"2SVJXTI2NFXRJRBB","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_8","alias_value":"2SVJXTI2","created_at":"2026-07-05T11:13:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2SVJXTI2NFXRJRBBNDCYQ2RI6N","target":"record","payload":{"canonical_record":{"source":{"id":"2502.12267","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-17T19:07:41Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2e1ff1101386e7ed6c2102c996243ca11d831a34903fc73cfa5fffe88569a970","abstract_canon_sha256":"7bb59da4cb67b73ad10afba48a5eb6edc944f9620a580a0b024fa644565831e9"},"schema_version":"1.0"},"canonical_sha256":"d4aa9bcd1a696f14c42168c5886a28f35183abf82ba8cee80e06412e135f775e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:20.679208Z","signature_b64":"Quyl6bEP7XEC8rACYJlzHQDVtcil8qFVwVq3n8UQDNzXQ70tq1EYrgo/o9l6hkYmaub5yklMri3x+4FyV/ISBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4aa9bcd1a696f14c42168c5886a28f35183abf82ba8cee80e06412e135f775e","last_reissued_at":"2026-07-05T11:13:20.678733Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:20.678733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.12267","source_version":2,"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-05T11:13:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mP5Qi+kNqLmb/iLmGOjmbBa3hVAgDMTil8GzI7aYWe69PmE5mPvDwINgrPYhL8kiR6HZ+1YNCGLHmQR40ZIeDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:19:03.059713Z"},"content_sha256":"850b13252d2c7523f3cd57c2d01acf18bb6679cb10e9d636969edc0f1967d19b","schema_version":"1.0","event_id":"sha256:850b13252d2c7523f3cd57c2d01acf18bb6679cb10e9d636969edc0f1967d19b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2SVJXTI2NFXRJRBBNDCYQ2RI6N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Ivan Ruchkin, Miroslav Pajic, Ruzica Piskac, Xi Zheng, Ziyang Li","submitted_at":"2025-02-17T19:07:41Z","abstract_excerpt":"Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with interpretable symbolic AI, enabling determinism. While promising, challenges like multisensor fusion, adaptability, and verification remain. This paper introduces NeuroStrata, a neurosymbolic framework to enhance the testing and verification of autonomous CPS. We outline its key components, present early results, and detail future plans."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12267","kind":"arxiv","version":2},"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/2502.12267/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-05T11:13:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"92sIqaqbzwzhR0vkC+uQ5W1AjA64RVHpPJVs7gS+31NGkeX34dmWPoERa2eKKkexWL/TE40Tox2QFY+VSAIWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:19:03.060223Z"},"content_sha256":"7c71d530aa04ae9fa19d4cf13e2cfbfc195346df71cc4e63ee1318924b786caa","schema_version":"1.0","event_id":"sha256:7c71d530aa04ae9fa19d4cf13e2cfbfc195346df71cc4e63ee1318924b786caa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/bundle.json","state_url":"https://pith.science/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/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-08T16:19:03Z","links":{"resolver":"https://pith.science/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N","bundle":"https://pith.science/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/bundle.json","state":"https://pith.science/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2SVJXTI2NFXRJRBBNDCYQ2RI6N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2SVJXTI2NFXRJRBBNDCYQ2RI6N","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":"7bb59da4cb67b73ad10afba48a5eb6edc944f9620a580a0b024fa644565831e9","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-17T19:07:41Z","title_canon_sha256":"2e1ff1101386e7ed6c2102c996243ca11d831a34903fc73cfa5fffe88569a970"},"schema_version":"1.0","source":{"id":"2502.12267","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12267","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12267v2","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12267","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_12","alias_value":"2SVJXTI2NFXR","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_16","alias_value":"2SVJXTI2NFXRJRBB","created_at":"2026-07-05T11:13:20Z"},{"alias_kind":"pith_short_8","alias_value":"2SVJXTI2","created_at":"2026-07-05T11:13:20Z"}],"graph_snapshots":[{"event_id":"sha256:7c71d530aa04ae9fa19d4cf13e2cfbfc195346df71cc4e63ee1318924b786caa","target":"graph","created_at":"2026-07-05T11:13:20Z","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/2502.12267/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with interpretable symbolic AI, enabling determinism. While promising, challenges like multisensor fusion, adaptability, and verification remain. This paper introduces NeuroStrata, a neurosymbolic framework to enhance the testing and verification of autonomous CPS. We outline its key components, present early results, and detail future plans.","authors_text":"Ivan Ruchkin, Miroslav Pajic, Ruzica Piskac, Xi Zheng, Ziyang Li","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-17T19:07:41Z","title":"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12267","kind":"arxiv","version":2},"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:850b13252d2c7523f3cd57c2d01acf18bb6679cb10e9d636969edc0f1967d19b","target":"record","created_at":"2026-07-05T11:13:20Z","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":"7bb59da4cb67b73ad10afba48a5eb6edc944f9620a580a0b024fa644565831e9","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-17T19:07:41Z","title_canon_sha256":"2e1ff1101386e7ed6c2102c996243ca11d831a34903fc73cfa5fffe88569a970"},"schema_version":"1.0","source":{"id":"2502.12267","kind":"arxiv","version":2}},"canonical_sha256":"d4aa9bcd1a696f14c42168c5886a28f35183abf82ba8cee80e06412e135f775e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4aa9bcd1a696f14c42168c5886a28f35183abf82ba8cee80e06412e135f775e","first_computed_at":"2026-07-05T11:13:20.678733Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:20.678733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Quyl6bEP7XEC8rACYJlzHQDVtcil8qFVwVq3n8UQDNzXQ70tq1EYrgo/o9l6hkYmaub5yklMri3x+4FyV/ISBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:20.679208Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.12267","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:850b13252d2c7523f3cd57c2d01acf18bb6679cb10e9d636969edc0f1967d19b","sha256:7c71d530aa04ae9fa19d4cf13e2cfbfc195346df71cc4e63ee1318924b786caa"],"state_sha256":"e53b93679e7171b2803390539df571151e0dd00a36724ab11d7f1192c9e1b22d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RYX111QPm5ShtP3QTYbMpsoHBy2f62wkQqVu07kNwoETYq0cYirADcDScEUEJuHichEWwGId5tiW7CRgt4XwAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T16:19:03.063925Z","bundle_sha256":"aa43fa55840d6967bd37d25aad33f7ba77739fcf9700bcfe497e3db7fd34abfb"}}