{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:4QBZX4N5EYN4UKJRPLGGGXHZNJ","short_pith_number":"pith:4QBZX4N5","canonical_record":{"source":{"id":"2502.15652","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-21T18:20:35Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"d4adc466ebfc5bf1ee1fdb9ace82d1ded0a89038ed5db9d6cb4f261a3795c5a4","abstract_canon_sha256":"9d7a859709e1e1fc4d28346e8de2bac3779a1de56a311e22d83028980415a180"},"schema_version":"1.0"},"canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","source":{"kind":"arxiv","id":"2502.15652","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.15652","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"arxiv_version","alias_value":"2502.15652v4","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.15652","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_12","alias_value":"4QBZX4N5EYN4","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_16","alias_value":"4QBZX4N5EYN4UKJR","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_8","alias_value":"4QBZX4N5","created_at":"2026-07-05T11:39:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:4QBZX4N5EYN4UKJRPLGGGXHZNJ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.15652","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-21T18:20:35Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"d4adc466ebfc5bf1ee1fdb9ace82d1ded0a89038ed5db9d6cb4f261a3795c5a4","abstract_canon_sha256":"9d7a859709e1e1fc4d28346e8de2bac3779a1de56a311e22d83028980415a180"},"schema_version":"1.0"},"canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:39:49.529653Z","signature_b64":"g6/xvA4s6xngW9qcmtKgLLSEvEcGv8nIFQV4lhFolnqgTI4Iq0SAbmLCNtSsMLUA+JVq8U7E1J29rNbUmiVYBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","last_reissued_at":"2026-07-05T11:39:49.529132Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:39:49.529132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.15652","source_version":4,"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:39:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dfR0VCMUl1Ew/zqQB4Weh4Bv5lH1xzvzCCSMTyMKdCFVC/73S4ZKwQsqlC4hI3xiSiNe9VRn0NRDvkTBSPKyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T03:09:39.704137Z"},"content_sha256":"539b3dc7ec74968b44093ef37b5857d1c53d3d8ab27f38d1c3099999abaf530f","schema_version":"1.0","event_id":"sha256:539b3dc7ec74968b44093ef37b5857d1c53d3d8ab27f38d1c3099999abaf530f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:4QBZX4N5EYN4UKJRPLGGGXHZNJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Fengxiang Cheng, Fenrong Liu, Haoxuan Li, Kun Zhang, Robert van Rooij, Zhouchen Lin","submitted_at":"2025-02-21T18:20:35Z","abstract_excerpt":"Large language models (LLMs) have achieved remarkable successes on various tasks. However, recent studies have found that there are still significant challenges to the logical reasoning abilities of LLMs, which can be categorized into the following two aspects: (1) Logical question answering: LLMs often fail to generate the correct answer within a complex logical problem which requires sophisticated deductive, inductive or abductive reasoning given a collection of premises. (2) Logical consistency: LLMs are prone to producing responses contradicting themselves across different questions. For e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.15652","kind":"arxiv","version":4},"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/2502.15652/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:39:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l9isRgpekI7VPsBYLlo516Tcnd1HlareaXN13rZNz0PDBZJGbeHjhiHYTMkYAHzkKjPF2zD3bOH+/NkJXG8SDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T03:09:39.704869Z"},"content_sha256":"59813393e82fc25abfe7b0a3841698cfa3ce666f7fb8fd8f381a8e4262443e27","schema_version":"1.0","event_id":"sha256:59813393e82fc25abfe7b0a3841698cfa3ce666f7fb8fd8f381a8e4262443e27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/bundle.json","state_url":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/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-08T03:09:39Z","links":{"resolver":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ","bundle":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/bundle.json","state":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4QBZX4N5EYN4UKJRPLGGGXHZNJ","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":"9d7a859709e1e1fc4d28346e8de2bac3779a1de56a311e22d83028980415a180","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-21T18:20:35Z","title_canon_sha256":"d4adc466ebfc5bf1ee1fdb9ace82d1ded0a89038ed5db9d6cb4f261a3795c5a4"},"schema_version":"1.0","source":{"id":"2502.15652","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.15652","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"arxiv_version","alias_value":"2502.15652v4","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.15652","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_12","alias_value":"4QBZX4N5EYN4","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_16","alias_value":"4QBZX4N5EYN4UKJR","created_at":"2026-07-05T11:39:49Z"},{"alias_kind":"pith_short_8","alias_value":"4QBZX4N5","created_at":"2026-07-05T11:39:49Z"}],"graph_snapshots":[{"event_id":"sha256:59813393e82fc25abfe7b0a3841698cfa3ce666f7fb8fd8f381a8e4262443e27","target":"graph","created_at":"2026-07-05T11:39:49Z","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/2502.15652/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have achieved remarkable successes on various tasks. However, recent studies have found that there are still significant challenges to the logical reasoning abilities of LLMs, which can be categorized into the following two aspects: (1) Logical question answering: LLMs often fail to generate the correct answer within a complex logical problem which requires sophisticated deductive, inductive or abductive reasoning given a collection of premises. (2) Logical consistency: LLMs are prone to producing responses contradicting themselves across different questions. For e","authors_text":"Fengxiang Cheng, Fenrong Liu, Haoxuan Li, Kun Zhang, Robert van Rooij, Zhouchen Lin","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-21T18:20:35Z","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.15652","kind":"arxiv","version":4},"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:539b3dc7ec74968b44093ef37b5857d1c53d3d8ab27f38d1c3099999abaf530f","target":"record","created_at":"2026-07-05T11:39:49Z","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":"9d7a859709e1e1fc4d28346e8de2bac3779a1de56a311e22d83028980415a180","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-21T18:20:35Z","title_canon_sha256":"d4adc466ebfc5bf1ee1fdb9ace82d1ded0a89038ed5db9d6cb4f261a3795c5a4"},"schema_version":"1.0","source":{"id":"2502.15652","kind":"arxiv","version":4}},"canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","first_computed_at":"2026-07-05T11:39:49.529132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:39:49.529132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g6/xvA4s6xngW9qcmtKgLLSEvEcGv8nIFQV4lhFolnqgTI4Iq0SAbmLCNtSsMLUA+JVq8U7E1J29rNbUmiVYBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:39:49.529653Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.15652","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:539b3dc7ec74968b44093ef37b5857d1c53d3d8ab27f38d1c3099999abaf530f","sha256:59813393e82fc25abfe7b0a3841698cfa3ce666f7fb8fd8f381a8e4262443e27"],"state_sha256":"a2d5619536753016eef1115789b708b113aeb8b8631ea4932d9628da4a31e1c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sSu46aGv0a0jkW/7KzjbChElUGE274M0F5ukul7PgBR2ntLh4XKBX/0Heok5QD3QXgAmdb7r8D/f8VRf6KyAAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T03:09:39.709870Z","bundle_sha256":"e43bf0e546165ce9134bf39278405ba25b53d9879d1a3b432c2374b438f815aa"}}