{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EU7IKZJMCWOEHMINUH44MQAE5W","short_pith_number":"pith:EU7IKZJM","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"},"canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","source":{"kind":"arxiv","id":"2502.09100","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09100","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09100v1","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09100","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_12","alias_value":"EU7IKZJMCWOE","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_16","alias_value":"EU7IKZJMCWOEHMIN","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_8","alias_value":"EU7IKZJM","created_at":"2026-07-05T10:13:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EU7IKZJMCWOEHMINUH44MQAE5W","target":"record","payload":{"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"},"canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","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"},"source_kind":"arxiv","source_id":"2502.09100","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-07-05T10:13:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GCHEo+ZA9SQFGFXxjcr82639QAMjQFIPc0ocFAXcGBr2vB2nmrrC9389mRuos5cSqSGKNhl8UL9L02ruzk9BCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:57:16.438792Z"},"content_sha256":"9702f4d48f5f4baa35f9b0f4bb4260956723b3d75730c062682c375c3e74cc36","schema_version":"1.0","event_id":"sha256:9702f4d48f5f4baa35f9b0f4bb4260956723b3d75730c062682c375c3e74cc36"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EU7IKZJMCWOEHMINUH44MQAE5W","target":"graph","payload":{"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"},"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:13:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yYliAEo7ZyBbWyGXAJzSSJ5EVPASkf1HR9R/V7r+kBhRre1xY7LdEwSKW6dAMBaCY07cCOkQ1zIvfM/cD/thBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:57:16.439430Z"},"content_sha256":"36c463d6097e682d3e68670cf8cdfd16a687f9bda11df49dd2d75269797589f1","schema_version":"1.0","event_id":"sha256:36c463d6097e682d3e68670cf8cdfd16a687f9bda11df49dd2d75269797589f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/bundle.json","state_url":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EU7IKZJMCWOEHMINUH44MQAE5W/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-08T22:57:16Z","links":{"resolver":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W","bundle":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/bundle.json","state":"https://pith.science/pith/EU7IKZJMCWOEHMINUH44MQAE5W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EU7IKZJMCWOEHMINUH44MQAE5W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EU7IKZJMCWOEHMINUH44MQAE5W","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":"49756841b96f9af0c893d49266a98ab9f84e2bed136fd0d13230a5339f13311c","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T09:19:14Z","title_canon_sha256":"7821bd707b37f55d72e6eab34af48e2f6faa9fe21c36cff2ad89395b6fa69764"},"schema_version":"1.0","source":{"id":"2502.09100","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09100","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09100v1","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09100","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_12","alias_value":"EU7IKZJMCWOE","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_16","alias_value":"EU7IKZJMCWOEHMIN","created_at":"2026-07-05T10:13:52Z"},{"alias_kind":"pith_short_8","alias_value":"EU7IKZJM","created_at":"2026-07-05T10:13:52Z"}],"graph_snapshots":[{"event_id":"sha256:36c463d6097e682d3e68670cf8cdfd16a687f9bda11df49dd2d75269797589f1","target":"graph","created_at":"2026-07-05T10:13:52Z","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.09100/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Chaoli Zhang, Hanmeng Liu, Mengru Ding, Ruoxi Ning, Xiaozhang Liu, Yue Zhang, Zhizhang Fu","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09100","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:9702f4d48f5f4baa35f9b0f4bb4260956723b3d75730c062682c375c3e74cc36","target":"record","created_at":"2026-07-05T10:13:52Z","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":"49756841b96f9af0c893d49266a98ab9f84e2bed136fd0d13230a5339f13311c","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T09:19:14Z","title_canon_sha256":"7821bd707b37f55d72e6eab34af48e2f6faa9fe21c36cff2ad89395b6fa69764"},"schema_version":"1.0","source":{"id":"2502.09100","kind":"arxiv","version":1}},"canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"253e85652c159c43b10da1f9c64004edaba5e058792af05357ca6c6718bdd138","first_computed_at":"2026-07-05T10:13:52.518542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:52.518542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k4PpkRN6CS71TY0n4F3VF1dnSjIOek7v5t2zfOqgWxe/EiqNM7HnrqnRmauX7BjLVbMxOw1jcyGXw6z0d3FCDg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:52.518995Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09100","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9702f4d48f5f4baa35f9b0f4bb4260956723b3d75730c062682c375c3e74cc36","sha256:36c463d6097e682d3e68670cf8cdfd16a687f9bda11df49dd2d75269797589f1"],"state_sha256":"b297cc544b217db6671bee32cb81388e1f5a667ed01a42f166e8dc61f45af6b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A1sAGJb11XSlUaGlogJMx9Pycrc3Al+b1PFnz+0ZqIhP2CivMypkJsWk97LnxNyFYWh5hCgYYUqCSOTUYhGLCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T22:57:16.444814Z","bundle_sha256":"33f842f0c07143a839506adc9401c94ce62848f63151a4545a34668c0cc1a93c"}}