{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7TTQHD2ZZUZLDH42S7RKCNFUJ7","short_pith_number":"pith:7TTQHD2Z","canonical_record":{"source":{"id":"2508.13678","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-19T09:27:46Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"84066cc9738a0f2596ca51190e5622f257461554b3fd664f1cb82041bbffac92","abstract_canon_sha256":"ba73bed750b6ac063ee2267420a64006606e155b88fa3fc36b6a8ce98570c06f"},"schema_version":"1.0"},"canonical_sha256":"fce7038f59cd32b19f9a97e2a134b44ff385263a6d26d258f27f8358c749e819","source":{"kind":"arxiv","id":"2508.13678","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13678","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13678v1","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13678","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"7TTQHD2ZZUZL","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_16","alias_value":"7TTQHD2ZZUZLDH42","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_8","alias_value":"7TTQHD2Z","created_at":"2026-07-05T11:55:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7TTQHD2ZZUZLDH42S7RKCNFUJ7","target":"record","payload":{"canonical_record":{"source":{"id":"2508.13678","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-19T09:27:46Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"84066cc9738a0f2596ca51190e5622f257461554b3fd664f1cb82041bbffac92","abstract_canon_sha256":"ba73bed750b6ac063ee2267420a64006606e155b88fa3fc36b6a8ce98570c06f"},"schema_version":"1.0"},"canonical_sha256":"fce7038f59cd32b19f9a97e2a134b44ff385263a6d26d258f27f8358c749e819","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:52.159663Z","signature_b64":"i7s1IfxyPzFHjplwhThjqR566m+U3BgX1zKCUFCNat4iaVZGe1jSv5bokeJbnjoOi8hpTMUIKmxs5RrFIeqPDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fce7038f59cd32b19f9a97e2a134b44ff385263a6d26d258f27f8358c749e819","last_reissued_at":"2026-07-05T11:55:52.159206Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:52.159206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.13678","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:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oWYjDLjvmLr/KSmJn14Ne7ykVmE+SXZVttkxUWImEyHoFzcZzFLbqkoFY0TQlvDY9DbOEbBUEqdtj92GZ1P0AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T13:50:17.934954Z"},"content_sha256":"59c28e88eaffdbc73bb960e485750528663d2d71b44162f7fa47ad3159c3bb91","schema_version":"1.0","event_id":"sha256:59c28e88eaffdbc73bb960e485750528663d2d71b44162f7fa47ad3159c3bb91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7TTQHD2ZZUZLDH42S7RKCNFUJ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Bo-Wen Zhang, Jie-Jing Shao, Lan-Zhe Guo, Lin-Han Jia, Wang-Zhou Dai, Xiao-Wen Yang, Yu-Feng Li, Zhi Zhou","submitted_at":"2025-08-19T09:27:46Z","abstract_excerpt":"Large Language Models (LLMs) have shown promising results across various tasks, yet their reasoning capabilities remain a fundamental challenge. Developing AI systems with strong reasoning capabilities is regarded as a crucial milestone in the pursuit of Artificial General Intelligence (AGI) and has garnered considerable attention from both academia and industry. Various techniques have been explored to enhance the reasoning capabilities of LLMs, with neuro-symbolic approaches being a particularly promising way. This paper comprehensively reviews recent developments in neuro-symbolic approache"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13678","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.13678/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:55:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p7xJ6yX6tGq6mVR33ubI6fGsz76q0/01hFFCq1ZHxndzLYUSMyjwz/LzyhfTHQ52qS+bFsW90KggryjZiFpoDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T13:50:17.935917Z"},"content_sha256":"d54a49b461eef59c7bb2b4f0d430c239a4cfd76846763a5459c29a185cab3fb3","schema_version":"1.0","event_id":"sha256:d54a49b461eef59c7bb2b4f0d430c239a4cfd76846763a5459c29a185cab3fb3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/bundle.json","state_url":"https://pith.science/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/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-15T13:50:17Z","links":{"resolver":"https://pith.science/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7","bundle":"https://pith.science/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/bundle.json","state":"https://pith.science/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7TTQHD2ZZUZLDH42S7RKCNFUJ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7TTQHD2ZZUZLDH42S7RKCNFUJ7","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":"ba73bed750b6ac063ee2267420a64006606e155b88fa3fc36b6a8ce98570c06f","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-19T09:27:46Z","title_canon_sha256":"84066cc9738a0f2596ca51190e5622f257461554b3fd664f1cb82041bbffac92"},"schema_version":"1.0","source":{"id":"2508.13678","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13678","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13678v1","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13678","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_12","alias_value":"7TTQHD2ZZUZL","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_16","alias_value":"7TTQHD2ZZUZLDH42","created_at":"2026-07-05T11:55:52Z"},{"alias_kind":"pith_short_8","alias_value":"7TTQHD2Z","created_at":"2026-07-05T11:55:52Z"}],"graph_snapshots":[{"event_id":"sha256:d54a49b461eef59c7bb2b4f0d430c239a4cfd76846763a5459c29a185cab3fb3","target":"graph","created_at":"2026-07-05T11:55:52Z","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.13678/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have shown promising results across various tasks, yet their reasoning capabilities remain a fundamental challenge. Developing AI systems with strong reasoning capabilities is regarded as a crucial milestone in the pursuit of Artificial General Intelligence (AGI) and has garnered considerable attention from both academia and industry. Various techniques have been explored to enhance the reasoning capabilities of LLMs, with neuro-symbolic approaches being a particularly promising way. This paper comprehensively reviews recent developments in neuro-symbolic approache","authors_text":"Bo-Wen Zhang, Jie-Jing Shao, Lan-Zhe Guo, Lin-Han Jia, Wang-Zhou Dai, Xiao-Wen Yang, Yu-Feng Li, Zhi Zhou","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-19T09:27:46Z","title":"Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13678","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:59c28e88eaffdbc73bb960e485750528663d2d71b44162f7fa47ad3159c3bb91","target":"record","created_at":"2026-07-05T11:55:52Z","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":"ba73bed750b6ac063ee2267420a64006606e155b88fa3fc36b6a8ce98570c06f","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-19T09:27:46Z","title_canon_sha256":"84066cc9738a0f2596ca51190e5622f257461554b3fd664f1cb82041bbffac92"},"schema_version":"1.0","source":{"id":"2508.13678","kind":"arxiv","version":1}},"canonical_sha256":"fce7038f59cd32b19f9a97e2a134b44ff385263a6d26d258f27f8358c749e819","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fce7038f59cd32b19f9a97e2a134b44ff385263a6d26d258f27f8358c749e819","first_computed_at":"2026-07-05T11:55:52.159206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:52.159206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i7s1IfxyPzFHjplwhThjqR566m+U3BgX1zKCUFCNat4iaVZGe1jSv5bokeJbnjoOi8hpTMUIKmxs5RrFIeqPDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:52.159663Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.13678","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:59c28e88eaffdbc73bb960e485750528663d2d71b44162f7fa47ad3159c3bb91","sha256:d54a49b461eef59c7bb2b4f0d430c239a4cfd76846763a5459c29a185cab3fb3"],"state_sha256":"042d455ea00c7ccd1f5242200939411e1da03ee87c2096e01222f7525db43aea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WLu5sfOQsfJkk5m141EuIUe03bSBRupmE8wQ2hW+PVJxpU53xc3DPHayPlbnSXiUlz3sWJlg3NkkX7aRAUyYBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T13:50:17.943430Z","bundle_sha256":"6ab710391e01adfc2ed438d38808c0de04f900a9db169d3a8051189b73fa89dc"}}