{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:T6LDMZWVXI4HMLXDLNCLYVE46U","short_pith_number":"pith:T6LDMZWV","canonical_record":{"source":{"id":"2311.09802","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T11:26:21Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2ba0eb7beed7140206bc652bd17d8800aa5dcbdb6c27d1425d6385198e1e3478","abstract_canon_sha256":"65af40e57737189f1a474f958d3e1f26b954fee50cd87c40c9793ca30cdf84c4"},"schema_version":"1.0"},"canonical_sha256":"9f963666d5ba38762ee35b44bc549cf506b626404ef4400cfe8964376fefd741","source":{"kind":"arxiv","id":"2311.09802","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09802","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09802v3","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09802","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"T6LDMZWVXI4H","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_16","alias_value":"T6LDMZWVXI4HMLXD","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_8","alias_value":"T6LDMZWV","created_at":"2026-07-05T10:18:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:T6LDMZWVXI4HMLXDLNCLYVE46U","target":"record","payload":{"canonical_record":{"source":{"id":"2311.09802","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T11:26:21Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2ba0eb7beed7140206bc652bd17d8800aa5dcbdb6c27d1425d6385198e1e3478","abstract_canon_sha256":"65af40e57737189f1a474f958d3e1f26b954fee50cd87c40c9793ca30cdf84c4"},"schema_version":"1.0"},"canonical_sha256":"9f963666d5ba38762ee35b44bc549cf506b626404ef4400cfe8964376fefd741","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:18:33.714778Z","signature_b64":"YaSvlgKUZEN2FMRWJcyE6pgxgnhfavEBkQESCSXOCRgmv9lb1IKA9JVZFP1tUjUcuglXNcQAclDCcQEA4nh7Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f963666d5ba38762ee35b44bc549cf506b626404ef4400cfe8964376fefd741","last_reissued_at":"2026-07-05T10:18:33.714285Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:18:33.714285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.09802","source_version":3,"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-05T10:18:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RpO2rjebGiCmjDAdtARqPfBsgn0vu1COlI7OpOa36tfnBEtA6QxyKiXLYKCa7ivspWKsK+ER4Wid0Sdgg8xjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T10:09:55.744168Z"},"content_sha256":"8f5d900ae3b530dc1410ba2e22af3105151b8fb656153b04dfd3a597fc42d580","schema_version":"1.0","event_id":"sha256:8f5d900ae3b530dc1410ba2e22af3105151b8fb656153b04dfd3a597fc42d580"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:T6LDMZWVXI4HMLXDLNCLYVE46U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Leyang Cui, Lidong Bing, Sen Yang, Wai Lam, Xin Li","submitted_at":"2023-11-16T11:26:21Z","abstract_excerpt":"Two lines of approaches are adopted for complex reasoning with LLMs. One line of work prompts LLMs with various reasoning structures, while the structural outputs can be naturally regarded as intermediate reasoning steps. Another line of work adopt LLM-free declarative solvers to do the reasoning task, rendering higher reasoning accuracy but lacking interpretability due to the black-box nature of the solvers. Aiming to resolve the trade-off between answer accuracy and interpretability, we present a simple extension to the latter line of work. Specifically, we showcase that the intermediate sea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09802","kind":"arxiv","version":3},"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/2311.09802/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-05T10:18:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MYYTJu6murx+WeJY1K77tPppUM2aF092FZnzc1HqtxfJ7lI3kUtO5qnLF0s6vA3ullsB38OZmnRjE5ro7Qf2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T10:09:55.744677Z"},"content_sha256":"5efd5f64bfd6eb006e0124949659119a56abaf6d82c25f52b84b57c9d31a8690","schema_version":"1.0","event_id":"sha256:5efd5f64bfd6eb006e0124949659119a56abaf6d82c25f52b84b57c9d31a8690"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/bundle.json","state_url":"https://pith.science/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/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-18T10:09:55Z","links":{"resolver":"https://pith.science/pith/T6LDMZWVXI4HMLXDLNCLYVE46U","bundle":"https://pith.science/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/bundle.json","state":"https://pith.science/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T6LDMZWVXI4HMLXDLNCLYVE46U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:T6LDMZWVXI4HMLXDLNCLYVE46U","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":"65af40e57737189f1a474f958d3e1f26b954fee50cd87c40c9793ca30cdf84c4","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T11:26:21Z","title_canon_sha256":"2ba0eb7beed7140206bc652bd17d8800aa5dcbdb6c27d1425d6385198e1e3478"},"schema_version":"1.0","source":{"id":"2311.09802","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09802","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09802v3","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09802","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"T6LDMZWVXI4H","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_16","alias_value":"T6LDMZWVXI4HMLXD","created_at":"2026-07-05T10:18:33Z"},{"alias_kind":"pith_short_8","alias_value":"T6LDMZWV","created_at":"2026-07-05T10:18:33Z"}],"graph_snapshots":[{"event_id":"sha256:5efd5f64bfd6eb006e0124949659119a56abaf6d82c25f52b84b57c9d31a8690","target":"graph","created_at":"2026-07-05T10:18:33Z","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/2311.09802/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Two lines of approaches are adopted for complex reasoning with LLMs. One line of work prompts LLMs with various reasoning structures, while the structural outputs can be naturally regarded as intermediate reasoning steps. Another line of work adopt LLM-free declarative solvers to do the reasoning task, rendering higher reasoning accuracy but lacking interpretability due to the black-box nature of the solvers. Aiming to resolve the trade-off between answer accuracy and interpretability, we present a simple extension to the latter line of work. Specifically, we showcase that the intermediate sea","authors_text":"Leyang Cui, Lidong Bing, Sen Yang, Wai Lam, Xin Li","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T11:26:21Z","title":"Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09802","kind":"arxiv","version":3},"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:8f5d900ae3b530dc1410ba2e22af3105151b8fb656153b04dfd3a597fc42d580","target":"record","created_at":"2026-07-05T10:18:33Z","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":"65af40e57737189f1a474f958d3e1f26b954fee50cd87c40c9793ca30cdf84c4","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T11:26:21Z","title_canon_sha256":"2ba0eb7beed7140206bc652bd17d8800aa5dcbdb6c27d1425d6385198e1e3478"},"schema_version":"1.0","source":{"id":"2311.09802","kind":"arxiv","version":3}},"canonical_sha256":"9f963666d5ba38762ee35b44bc549cf506b626404ef4400cfe8964376fefd741","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f963666d5ba38762ee35b44bc549cf506b626404ef4400cfe8964376fefd741","first_computed_at":"2026-07-05T10:18:33.714285Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:18:33.714285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YaSvlgKUZEN2FMRWJcyE6pgxgnhfavEBkQESCSXOCRgmv9lb1IKA9JVZFP1tUjUcuglXNcQAclDCcQEA4nh7Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:18:33.714778Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.09802","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f5d900ae3b530dc1410ba2e22af3105151b8fb656153b04dfd3a597fc42d580","sha256:5efd5f64bfd6eb006e0124949659119a56abaf6d82c25f52b84b57c9d31a8690"],"state_sha256":"cf787584171c8ec1283bb9bae6fd57586227912e3f6f6354574cf0944fd02dc8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DJqJrtxZ78n3dhkSveDKP80d55k8Wl8BSWRkGS7rqp/Z+wFt2GfW8ixMil69TrEi8aDHt0+rHkKeED+K0b3yAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T10:09:55.749618Z","bundle_sha256":"46cf9f5586b5bf5cc4e2910739682449b899bb4a811bd5d1079d1863d230ea16"}}