{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NZZ3AMKRTBL7JBBTDU3HYU3WCM","short_pith_number":"pith:NZZ3AMKR","canonical_record":{"source":{"id":"2605.25618","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-05-25T09:18:59Z","cross_cats_sorted":[],"title_canon_sha256":"26e79b480ae611fd692c4dde154e404292571a9c50d75af72c92f490cb1d25b6","abstract_canon_sha256":"56bc3a2ce052b0f37b1adff63011b333d0d52c32251b62aa5ae9d200f31a2146"},"schema_version":"1.0"},"canonical_sha256":"6e73b031519857f484331d367c537613007c5c32de61b9a2844c784baadcab13","source":{"kind":"arxiv","id":"2605.25618","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25618","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25618v1","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25618","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_12","alias_value":"NZZ3AMKRTBL7","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_16","alias_value":"NZZ3AMKRTBL7JBBT","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_8","alias_value":"NZZ3AMKR","created_at":"2026-05-26T02:04:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NZZ3AMKRTBL7JBBTDU3HYU3WCM","target":"record","payload":{"canonical_record":{"source":{"id":"2605.25618","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-05-25T09:18:59Z","cross_cats_sorted":[],"title_canon_sha256":"26e79b480ae611fd692c4dde154e404292571a9c50d75af72c92f490cb1d25b6","abstract_canon_sha256":"56bc3a2ce052b0f37b1adff63011b333d0d52c32251b62aa5ae9d200f31a2146"},"schema_version":"1.0"},"canonical_sha256":"6e73b031519857f484331d367c537613007c5c32de61b9a2844c784baadcab13","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:46.708704Z","signature_b64":"Sh7yayPWACIeM1391D0LpFRqaG7v9/CMZxWbWT4FEjnp6DWxnyM5JVP925pFNWDUYxT5wTWkJbpW6Rc3KMC8CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e73b031519857f484331d367c537613007c5c32de61b9a2844c784baadcab13","last_reissued_at":"2026-05-26T02:04:46.707918Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:46.707918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.25618","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-05-26T02:04:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5cAgd0A+RXhXRdijeRNqqXjDcyFCa+sl7gvxXd0/IicjJOhXEB0jLUVmhpT065KJXG+EqCf683CfeuQbKTnIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:17:25.386362Z"},"content_sha256":"ac120d3283168cc50527828118bdd29e0c709795b822601cd26bc354d17b3e67","schema_version":"1.0","event_id":"sha256:ac120d3283168cc50527828118bdd29e0c709795b822601cd26bc354d17b3e67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NZZ3AMKRTBL7JBBTDU3HYU3WCM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Rui Wang, Xiaokun Luan, Yihao Zhang, Zeming Wei","submitted_at":"2026-05-25T09:18:59Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated impressive progress in complex reasoning tasks, largely driven by the Chain-of-Thought (CoT) paradigm, which decomposes difficult problems into intermediate steps. However, CoT reasoning remains fundamentally constrained by the probabilistic nature of neural generation, leading to unfaithful reasoning chains that undermine reliability. Neuro-symbolic approaches attempt to address these issues by combining LLMs with symbolic solvers, yet they face persistent challenges, including hallucinated translations, the mismatch between natural language and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25618","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/2605.25618/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-05-26T02:04:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LuD69kqMuVVJ1Ew8Qt1o69fy9iw1t4Iv4i7mLZrI5owH9p7T4s37oEvX+vX0ytVbsIi53zoTywjy1NIpNhAhDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:17:25.386867Z"},"content_sha256":"ea6428cfbf57035a1f712516f749c99c5123471478a75ea8274bea9932630481","schema_version":"1.0","event_id":"sha256:ea6428cfbf57035a1f712516f749c99c5123471478a75ea8274bea9932630481"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/bundle.json","state_url":"https://pith.science/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/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-06-01T04:17:25Z","links":{"resolver":"https://pith.science/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM","bundle":"https://pith.science/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/bundle.json","state":"https://pith.science/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NZZ3AMKRTBL7JBBTDU3HYU3WCM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NZZ3AMKRTBL7JBBTDU3HYU3WCM","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":"56bc3a2ce052b0f37b1adff63011b333d0d52c32251b62aa5ae9d200f31a2146","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-05-25T09:18:59Z","title_canon_sha256":"26e79b480ae611fd692c4dde154e404292571a9c50d75af72c92f490cb1d25b6"},"schema_version":"1.0","source":{"id":"2605.25618","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25618","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25618v1","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25618","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_12","alias_value":"NZZ3AMKRTBL7","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_16","alias_value":"NZZ3AMKRTBL7JBBT","created_at":"2026-05-26T02:04:46Z"},{"alias_kind":"pith_short_8","alias_value":"NZZ3AMKR","created_at":"2026-05-26T02:04:46Z"}],"graph_snapshots":[{"event_id":"sha256:ea6428cfbf57035a1f712516f749c99c5123471478a75ea8274bea9932630481","target":"graph","created_at":"2026-05-26T02:04:46Z","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/2605.25618/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have demonstrated impressive progress in complex reasoning tasks, largely driven by the Chain-of-Thought (CoT) paradigm, which decomposes difficult problems into intermediate steps. However, CoT reasoning remains fundamentally constrained by the probabilistic nature of neural generation, leading to unfaithful reasoning chains that undermine reliability. Neuro-symbolic approaches attempt to address these issues by combining LLMs with symbolic solvers, yet they face persistent challenges, including hallucinated translations, the mismatch between natural language and ","authors_text":"Rui Wang, Xiaokun Luan, Yihao Zhang, Zeming Wei","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-05-25T09:18:59Z","title":"Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25618","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:ac120d3283168cc50527828118bdd29e0c709795b822601cd26bc354d17b3e67","target":"record","created_at":"2026-05-26T02:04:46Z","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":"56bc3a2ce052b0f37b1adff63011b333d0d52c32251b62aa5ae9d200f31a2146","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-05-25T09:18:59Z","title_canon_sha256":"26e79b480ae611fd692c4dde154e404292571a9c50d75af72c92f490cb1d25b6"},"schema_version":"1.0","source":{"id":"2605.25618","kind":"arxiv","version":1}},"canonical_sha256":"6e73b031519857f484331d367c537613007c5c32de61b9a2844c784baadcab13","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e73b031519857f484331d367c537613007c5c32de61b9a2844c784baadcab13","first_computed_at":"2026-05-26T02:04:46.707918Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:04:46.707918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Sh7yayPWACIeM1391D0LpFRqaG7v9/CMZxWbWT4FEjnp6DWxnyM5JVP925pFNWDUYxT5wTWkJbpW6Rc3KMC8CQ==","signature_status":"signed_v1","signed_at":"2026-05-26T02:04:46.708704Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.25618","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac120d3283168cc50527828118bdd29e0c709795b822601cd26bc354d17b3e67","sha256:ea6428cfbf57035a1f712516f749c99c5123471478a75ea8274bea9932630481"],"state_sha256":"9a941d950a29acc8e26b7054e25d7920559414b82267d64402b7bcecf85b66c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DLj7lPCtqyLP2bQnMzXzWETHO3lzo7/4p7kmpzsYJdI73oy2vQE32CdDMBl4aVdwS92cZ5n7/p06FBXqogddAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T04:17:25.389644Z","bundle_sha256":"aded28f50ee08253b4429312cdb37ad0c5752938d00e2804027a1b07cf7cbc78"}}