{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EU7IKZJMCWOEHMINUH44MQAE5W","short_pith_number":"pith:EU7IKZJM","schema_version":"1.0","canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","source":{"kind":"arxiv","id":"2502.09100","version":1},"attestation_state":"computed","paper":{"title":"Logical Reasoning in Large Language Models: A Survey","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Chaoli Zhang, Hanmeng Liu, Mengru Ding, Ruoxi Ning, Xiaozhang Liu, Yue Zhang, Zhizhang Fu","submitted_at":"2025-02-13T09:19:14Z","abstract_excerpt":"With the emergence of advanced reasoning models like OpenAI o3 and DeepSeek-R1, large language models (LLMs) have demonstrated remarkable reasoning capabilities. However, their ability to perform rigorous logical reasoning remains an open question. This survey synthesizes recent advancements in logical reasoning within LLMs, a critical area of AI research. It outlines the scope of logical reasoning in LLMs, its theoretical foundations, and the benchmarks used to evaluate reasoning proficiency. We analyze existing capabilities across different reasoning paradigms - deductive, inductive, abducti"},"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.09100","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T09:19:14Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"7821bd707b37f55d72e6eab34af48e2f6faa9fe21c36cff2ad89395b6fa69764","abstract_canon_sha256":"49756841b96f9af0c893d49266a98ab9f84e2bed136fd0d13230a5339f13311c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:52.518995Z","signature_b64":"k4PpkRN6CS71TY0n4F3VF1dnSjIOek7v5t2zfOqgWxe/EiqNM7HnrqnRmauX7BjLVbMxOw1jcyGXw6z0d3FCDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","last_reissued_at":"2026-07-05T10:13:52.518542Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:52.518542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Logical Reasoning in Large Language Models: A Survey","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Chaoli Zhang, Hanmeng Liu, Mengru Ding, Ruoxi Ning, Xiaozhang Liu, Yue Zhang, Zhizhang Fu","submitted_at":"2025-02-13T09:19:14Z","abstract_excerpt":"With the emergence of advanced reasoning models like OpenAI o3 and DeepSeek-R1, large language models (LLMs) have demonstrated remarkable reasoning capabilities. However, their ability to perform rigorous logical reasoning remains an open question. This survey synthesizes recent advancements in logical reasoning within LLMs, a critical area of AI research. It outlines the scope of logical reasoning in LLMs, its theoretical foundations, and the benchmarks used to evaluate reasoning proficiency. We analyze existing capabilities across different reasoning paradigms - deductive, inductive, abducti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09100","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/2502.09100/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.09100","created_at":"2026-07-05T10:13:52.518593+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.09100v1","created_at":"2026-07-05T10:13:52.518593+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09100","created_at":"2026-07-05T10:13:52.518593+00:00"},{"alias_kind":"pith_short_12","alias_value":"EU7IKZJMCWOE","created_at":"2026-07-05T10:13:52.518593+00:00"},{"alias_kind":"pith_short_16","alias_value":"EU7IKZJMCWOEHMIN","created_at":"2026-07-05T10:13:52.518593+00:00"},{"alias_kind":"pith_short_8","alias_value":"EU7IKZJM","created_at":"2026-07-05T10:13:52.518593+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":8,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.23238","citing_title":"HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs","ref_index":26,"is_internal_anchor":false},{"citing_arxiv_id":"2606.17962","citing_title":"A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics","ref_index":44,"is_internal_anchor":false},{"citing_arxiv_id":"2606.29171","citing_title":"Symbolic Mechanistic Data Attribution: Tracing Training Influence to Learned Behavioral Policies","ref_index":15,"is_internal_anchor":false},{"citing_arxiv_id":"2605.21338","citing_title":"Text Analytics Evaluation Framework: A Case Study on LLMs and Social Media","ref_index":84,"is_internal_anchor":false},{"citing_arxiv_id":"2604.27251","citing_title":"Compliance versus Sensibility: On the Reasoning Controllability in Large Language Models","ref_index":25,"is_internal_anchor":false},{"citing_arxiv_id":"2605.00974","citing_title":"SRTJ: Self-Evolving Rule-Driven Training-Free LLM Jailbreaking","ref_index":23,"is_internal_anchor":false},{"citing_arxiv_id":"2604.21479","citing_title":"Frozen LLMs as Map-Aware Spatio-Temporal Reasoners for Vehicle Trajectory Prediction","ref_index":11,"is_internal_anchor":false},{"citing_arxiv_id":"2604.21454","citing_title":"Reasoning Primitives in Hybrid and Non-Hybrid LLMs: Do Architectural Differences Yield Advantages in State-Tracking and Recall?","ref_index":8,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W","json":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W.json","graph_json":"https://pith.science/api/pith-number/EU7IKZJMCWOEHMINUH44MQAE5W/graph.json","events_json":"https://pith.science/api/pith-number/EU7IKZJMCWOEHMINUH44MQAE5W/events.json","paper":"https://pith.science/paper/EU7IKZJM"},"agent_actions":{"view_html":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W","download_json":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W.json","view_paper":"https://pith.science/paper/EU7IKZJM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.09100&json=true","fetch_graph":"https://pith.science/api/pith-number/EU7IKZJMCWOEHMINUH44MQAE5W/graph.json","fetch_events":"https://pith.science/api/pith-number/EU7IKZJMCWOEHMINUH44MQAE5W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/action/storage_attestation","attest_author":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/action/author_attestation","sign_citation":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/action/citation_signature","submit_replication":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/action/replication_record"}},"created_at":"2026-07-05T10:13:52.518593+00:00","updated_at":"2026-07-05T10:13:52.518593+00:00"}