{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:N3H7LDOZVTND3PMXIHDEP2S7JX","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":"ce10299aa719a1b09a4785fa05df1d37f050cf180abc8ef38d37279270c9fb09","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-30T18:54:08Z","title_canon_sha256":"bd08ba582208f7118dcdd2d874a7d15fbf76936ec17a98fa5f7509b33dbcb5c9"},"schema_version":"1.0","source":{"id":"2412.10390","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.10390","created_at":"2026-07-05T09:49:15Z"},{"alias_kind":"arxiv_version","alias_value":"2412.10390v1","created_at":"2026-07-05T09:49:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10390","created_at":"2026-07-05T09:49:15Z"},{"alias_kind":"pith_short_12","alias_value":"N3H7LDOZVTND","created_at":"2026-07-05T09:49:15Z"},{"alias_kind":"pith_short_16","alias_value":"N3H7LDOZVTND3PMX","created_at":"2026-07-05T09:49:15Z"},{"alias_kind":"pith_short_8","alias_value":"N3H7LDOZ","created_at":"2026-07-05T09:49:15Z"}],"graph_snapshots":[{"event_id":"sha256:93bf2ee58a0305f2b3e814ec1fcf4f75c60c33e1e779197a25cd75d7646ccff0","target":"graph","created_at":"2026-07-05T09:49:15Z","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/2412.10390/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge graph reasoning is pivotal in various domains such as data mining, artificial intelligence, the Web, and social sciences. These knowledge graphs function as comprehensive repositories of human knowledge, facilitating the inference of new information. Traditional symbolic reasoning, despite its strengths, struggles with the challenges posed by incomplete and noisy data within these graphs. In contrast, the rise of Neural Symbolic AI marks a significant advancement, merging the robustness of deep learning with the precision of symbolic reasoning. This integration aims to develop AI sys","authors_text":"Hanghang Tong, Lihui Liu, Zihao Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-30T18:54:08Z","title":"Neural-Symbolic Reasoning over Knowledge Graphs: A Survey from a Query Perspective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.10390","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:768e09bc5c4cdb131daef31cb6527d12e36c84d54efe22c08db910d9e8f6a9a7","target":"record","created_at":"2026-07-05T09:49:15Z","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":"ce10299aa719a1b09a4785fa05df1d37f050cf180abc8ef38d37279270c9fb09","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-30T18:54:08Z","title_canon_sha256":"bd08ba582208f7118dcdd2d874a7d15fbf76936ec17a98fa5f7509b33dbcb5c9"},"schema_version":"1.0","source":{"id":"2412.10390","kind":"arxiv","version":1}},"canonical_sha256":"6ecff58dd9acda3dbd9741c647ea5f4df8c993dd2ce954a9acd18a5b67d61ad9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ecff58dd9acda3dbd9741c647ea5f4df8c993dd2ce954a9acd18a5b67d61ad9","first_computed_at":"2026-07-05T09:49:15.252486Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:49:15.252486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a/LBRNM9WPa3np+Q98aaG5UMB0rQutwTbuKe8hncDKBbeDHziH7JXzt69naPvAXNM+BZdD31NtYz/OHKhIS3Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T09:49:15.252992Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.10390","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:768e09bc5c4cdb131daef31cb6527d12e36c84d54efe22c08db910d9e8f6a9a7","sha256:93bf2ee58a0305f2b3e814ec1fcf4f75c60c33e1e779197a25cd75d7646ccff0"],"state_sha256":"53d01ca3d560a588a23aa682755101833b149de3c153bed78c4e6f0b2b20ec43"}