{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:4QBZX4N5EYN4UKJRPLGGGXHZNJ","short_pith_number":"pith:4QBZX4N5","schema_version":"1.0","canonical_sha256":"e4039bf1bd261bca29317acc635cf96a624f1148704811f44958992216710361","source":{"kind":"arxiv","id":"2502.15652","version":4},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.15652","created_at":"2026-07-05T11:39:49.529188+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.15652v4","created_at":"2026-07-05T11:39:49.529188+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.15652","created_at":"2026-07-05T11:39:49.529188+00:00"},{"alias_kind":"pith_short_12","alias_value":"4QBZX4N5EYN4","created_at":"2026-07-05T11:39:49.529188+00:00"},{"alias_kind":"pith_short_16","alias_value":"4QBZX4N5EYN4UKJR","created_at":"2026-07-05T11:39:49.529188+00:00"},{"alias_kind":"pith_short_8","alias_value":"4QBZX4N5","created_at":"2026-07-05T11:39:49.529188+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.06525","citing_title":"Agentic Large Language Models for Automated Structural Analysis of 3D Frame Systems","ref_index":2,"is_internal_anchor":false},{"citing_arxiv_id":"2603.11689","citing_title":"Explicit Logic Channel for Validation and Enhancement of MLLMs on Zero-Shot Tasks","ref_index":13,"is_internal_anchor":false},{"citing_arxiv_id":"2605.17914","citing_title":"Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2605.00043","citing_title":"SiriusHelper: An LLM Agent-Based Operations Assistant for Big Data Platforms","ref_index":3,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ","json":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ.json","graph_json":"https://pith.science/api/pith-number/4QBZX4N5EYN4UKJRPLGGGXHZNJ/graph.json","events_json":"https://pith.science/api/pith-number/4QBZX4N5EYN4UKJRPLGGGXHZNJ/events.json","paper":"https://pith.science/paper/4QBZX4N5"},"agent_actions":{"view_html":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ","download_json":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ.json","view_paper":"https://pith.science/paper/4QBZX4N5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.15652&json=true","fetch_graph":"https://pith.science/api/pith-number/4QBZX4N5EYN4UKJRPLGGGXHZNJ/graph.json","fetch_events":"https://pith.science/api/pith-number/4QBZX4N5EYN4UKJRPLGGGXHZNJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/action/storage_attestation","attest_author":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/action/author_attestation","sign_citation":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/action/citation_signature","submit_replication":"https://pith.science/pith/4QBZX4N5EYN4UKJRPLGGGXHZNJ/action/replication_record"}},"created_at":"2026-07-05T11:39:49.529188+00:00","updated_at":"2026-07-05T11:39:49.529188+00:00"}