{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VILLLKO2TB4N3DLR2BIESCQW36","short_pith_number":"pith:VILLLKO2","canonical_record":{"source":{"id":"2508.07163","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-10T03:30:06Z","cross_cats_sorted":["cs.AI","cs.NE"],"title_canon_sha256":"2fb263258877f3431ca7c7d6dda5bf6f5c9a94354d39b352da8389374dc2fea5","abstract_canon_sha256":"3d0239222e3922f35217267c7cf5312ce1dc78808fcedd6576c558099c87ffa7"},"schema_version":"1.0"},"canonical_sha256":"aa16b5a9da9878dd8d71d050490a16dfb24c6d97d5528cc7a789362b6593c2c9","source":{"kind":"arxiv","id":"2508.07163","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.07163","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"2508.07163v1","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.07163","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"VILLLKO2TB4N","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_16","alias_value":"VILLLKO2TB4N3DLR","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_8","alias_value":"VILLLKO2","created_at":"2026-07-05T11:51:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VILLLKO2TB4N3DLR2BIESCQW36","target":"record","payload":{"canonical_record":{"source":{"id":"2508.07163","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-10T03:30:06Z","cross_cats_sorted":["cs.AI","cs.NE"],"title_canon_sha256":"2fb263258877f3431ca7c7d6dda5bf6f5c9a94354d39b352da8389374dc2fea5","abstract_canon_sha256":"3d0239222e3922f35217267c7cf5312ce1dc78808fcedd6576c558099c87ffa7"},"schema_version":"1.0"},"canonical_sha256":"aa16b5a9da9878dd8d71d050490a16dfb24c6d97d5528cc7a789362b6593c2c9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:51:41.855260Z","signature_b64":"V/NfBQeJNNa+xAH4hWFYH2shc+CS3c7a3hi6LhKvF4W0mQgq1JJZ1JT7YNIcWwRuXkIqo4YxlZJHJnkG/oKDCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa16b5a9da9878dd8d71d050490a16dfb24c6d97d5528cc7a789362b6593c2c9","last_reissued_at":"2026-07-05T11:51:41.854784Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:51:41.854784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.07163","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-05T11:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F1gbS4kLd8r5Y0vxlqGF5p6AA3VkDDsr9k1/vF2CG4f4PrdhXAoY2MbKt9PUn5+TQ1AHh3YJ0iHvaPipIdnBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:09:00.801017Z"},"content_sha256":"ac359c94ed29ccd789c2190d41c23e67fe343bfc195b555214c7c977abdd55d5","schema_version":"1.0","event_id":"sha256:ac359c94ed29ccd789c2190d41c23e67fe343bfc195b555214c7c977abdd55d5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VILLLKO2TB4N3DLR2BIESCQW36","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.NE"],"primary_cat":"cs.RO","authors_text":"Houbing Song, Iman Sharifi, Kamal Acharya, Liang Sun, Mehul Lad","submitted_at":"2025-08-10T03:30:06Z","abstract_excerpt":"Neurosymbolic AI combines neural network adaptability with symbolic reasoning, promising an approach to address the complex regulatory, operational, and safety challenges in Advanced Air Mobility (AAM). This survey reviews its applications across key AAM domains such as demand forecasting, aircraft design, and real-time air traffic management. Our analysis reveals a fragmented research landscape where methodologies, including Neurosymbolic Reinforcement Learning, have shown potential for dynamic optimization but still face hurdles in scalability, robustness, and compliance with aviation standa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.07163","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/2508.07163/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:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9uQ/v68mKdOi6g0t4kO9LKVxGz7RSJlghWGAXlHqKKDfbQaNQy+LQN9mATX7n6umvIhgxUna1SU7NQACVjTiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:09:00.801511Z"},"content_sha256":"d7e21b8f2a48b1a4a502414f6e2354a2055c3d7a6411131cda31fe6bb99111e7","schema_version":"1.0","event_id":"sha256:d7e21b8f2a48b1a4a502414f6e2354a2055c3d7a6411131cda31fe6bb99111e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VILLLKO2TB4N3DLR2BIESCQW36/bundle.json","state_url":"https://pith.science/pith/VILLLKO2TB4N3DLR2BIESCQW36/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VILLLKO2TB4N3DLR2BIESCQW36/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-06T04:09:00Z","links":{"resolver":"https://pith.science/pith/VILLLKO2TB4N3DLR2BIESCQW36","bundle":"https://pith.science/pith/VILLLKO2TB4N3DLR2BIESCQW36/bundle.json","state":"https://pith.science/pith/VILLLKO2TB4N3DLR2BIESCQW36/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VILLLKO2TB4N3DLR2BIESCQW36/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VILLLKO2TB4N3DLR2BIESCQW36","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":"3d0239222e3922f35217267c7cf5312ce1dc78808fcedd6576c558099c87ffa7","cross_cats_sorted":["cs.AI","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-10T03:30:06Z","title_canon_sha256":"2fb263258877f3431ca7c7d6dda5bf6f5c9a94354d39b352da8389374dc2fea5"},"schema_version":"1.0","source":{"id":"2508.07163","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.07163","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"2508.07163v1","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.07163","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"VILLLKO2TB4N","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_16","alias_value":"VILLLKO2TB4N3DLR","created_at":"2026-07-05T11:51:41Z"},{"alias_kind":"pith_short_8","alias_value":"VILLLKO2","created_at":"2026-07-05T11:51:41Z"}],"graph_snapshots":[{"event_id":"sha256:d7e21b8f2a48b1a4a502414f6e2354a2055c3d7a6411131cda31fe6bb99111e7","target":"graph","created_at":"2026-07-05T11:51:41Z","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/2508.07163/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neurosymbolic AI combines neural network adaptability with symbolic reasoning, promising an approach to address the complex regulatory, operational, and safety challenges in Advanced Air Mobility (AAM). This survey reviews its applications across key AAM domains such as demand forecasting, aircraft design, and real-time air traffic management. Our analysis reveals a fragmented research landscape where methodologies, including Neurosymbolic Reinforcement Learning, have shown potential for dynamic optimization but still face hurdles in scalability, robustness, and compliance with aviation standa","authors_text":"Houbing Song, Iman Sharifi, Kamal Acharya, Liang Sun, Mehul Lad","cross_cats":["cs.AI","cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-10T03:30:06Z","title":"Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.07163","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:ac359c94ed29ccd789c2190d41c23e67fe343bfc195b555214c7c977abdd55d5","target":"record","created_at":"2026-07-05T11:51:41Z","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":"3d0239222e3922f35217267c7cf5312ce1dc78808fcedd6576c558099c87ffa7","cross_cats_sorted":["cs.AI","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-10T03:30:06Z","title_canon_sha256":"2fb263258877f3431ca7c7d6dda5bf6f5c9a94354d39b352da8389374dc2fea5"},"schema_version":"1.0","source":{"id":"2508.07163","kind":"arxiv","version":1}},"canonical_sha256":"aa16b5a9da9878dd8d71d050490a16dfb24c6d97d5528cc7a789362b6593c2c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa16b5a9da9878dd8d71d050490a16dfb24c6d97d5528cc7a789362b6593c2c9","first_computed_at":"2026-07-05T11:51:41.854784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:51:41.854784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V/NfBQeJNNa+xAH4hWFYH2shc+CS3c7a3hi6LhKvF4W0mQgq1JJZ1JT7YNIcWwRuXkIqo4YxlZJHJnkG/oKDCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:51:41.855260Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.07163","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac359c94ed29ccd789c2190d41c23e67fe343bfc195b555214c7c977abdd55d5","sha256:d7e21b8f2a48b1a4a502414f6e2354a2055c3d7a6411131cda31fe6bb99111e7"],"state_sha256":"31a52ab4f505e5e0eb4831f8eb25af1f9da39e868a8863349ab150c45339f426"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZMTb8Lx64FvI9PLKi7QjSeRa63cQ4sbscCIQ/xH77Ym0efU5TWh70YZNDaZswK5iYlu81ygONnw9CecCP2oICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T04:09:00.805219Z","bundle_sha256":"9e027fe0904175cb01446f10e587e0c7cb32c231348df949b1d5efa2ace10de1"}}