{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:RSFEJY6DOE44INTOJ4RQLSTDDE","short_pith_number":"pith:RSFEJY6D","schema_version":"1.0","canonical_sha256":"8c8a44e3c37139c4366e4f2305ca63193e1f64f5f3a31b88457315b923571fe2","source":{"kind":"arxiv","id":"2409.17539","version":2},"attestation_state":"computed","paper":{"title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Hailong Yang, Jiaxing Wang, Jing Li, Tongxuan Liu, Weizhe Huang, Wenjiang Xu, Xingyu Wang, Yuting Zeng","submitted_at":"2024-09-26T04:59:45Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated remarkable capabilities across various tasks but their performance in complex logical reasoning tasks remains unsatisfactory. Although some prompting methods, such as Chain-of-Thought, can improve the reasoning ability of LLMs to some extent, they suffer from an unfaithful issue where derived conclusions may not align with the generated reasoning chain. To address this issue, some studies employ the approach of propositional logic to further enhance logical reasoning abilities of LLMs. However, the potential omissions in the extraction of logical "},"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":"2409.17539","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T04:59:45Z","cross_cats_sorted":[],"title_canon_sha256":"272758c6a2a2cd6079fe3756c6c0985f3def754e2595f70500a6234c6b5f0846","abstract_canon_sha256":"f1af21ad02c27c349c83b9a9fe3916de98e12f3c4f2451499574a325afcb5afb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:10:44.272708Z","signature_b64":"CMTqNJ9Z3FH8vG8ZRHPPaZbfW9y64LKEN6EnjrsAUDnpi/8HTogOd9Gj8wR6YO0ofS2PAheqdomn/LJfJqTZCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c8a44e3c37139c4366e4f2305ca63193e1f64f5f3a31b88457315b923571fe2","last_reissued_at":"2026-07-05T10:10:44.272260Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:10:44.272260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Hailong Yang, Jiaxing Wang, Jing Li, Tongxuan Liu, Weizhe Huang, Wenjiang Xu, Xingyu Wang, Yuting Zeng","submitted_at":"2024-09-26T04:59:45Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated remarkable capabilities across various tasks but their performance in complex logical reasoning tasks remains unsatisfactory. Although some prompting methods, such as Chain-of-Thought, can improve the reasoning ability of LLMs to some extent, they suffer from an unfaithful issue where derived conclusions may not align with the generated reasoning chain. To address this issue, some studies employ the approach of propositional logic to further enhance logical reasoning abilities of LLMs. However, the potential omissions in the extraction of logical "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.17539","kind":"arxiv","version":2},"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/2409.17539/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":"2409.17539","created_at":"2026-07-05T10:10:44.272329+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.17539v2","created_at":"2026-07-05T10:10:44.272329+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.17539","created_at":"2026-07-05T10:10:44.272329+00:00"},{"alias_kind":"pith_short_12","alias_value":"RSFEJY6DOE44","created_at":"2026-07-05T10:10:44.272329+00:00"},{"alias_kind":"pith_short_16","alias_value":"RSFEJY6DOE44INTO","created_at":"2026-07-05T10:10:44.272329+00:00"},{"alias_kind":"pith_short_8","alias_value":"RSFEJY6D","created_at":"2026-07-05T10:10:44.272329+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.08011","citing_title":"Abductive Reasoning with Probabilistic Commonsense","ref_index":49,"is_internal_anchor":false},{"citing_arxiv_id":"2605.02200","citing_title":"ARGUS: Policy-Adaptive Ad Governance via Evolving Reinforcement with Adversarial Umpiring","ref_index":94,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE","json":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE.json","graph_json":"https://pith.science/api/pith-number/RSFEJY6DOE44INTOJ4RQLSTDDE/graph.json","events_json":"https://pith.science/api/pith-number/RSFEJY6DOE44INTOJ4RQLSTDDE/events.json","paper":"https://pith.science/paper/RSFEJY6D"},"agent_actions":{"view_html":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE","download_json":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE.json","view_paper":"https://pith.science/paper/RSFEJY6D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.17539&json=true","fetch_graph":"https://pith.science/api/pith-number/RSFEJY6DOE44INTOJ4RQLSTDDE/graph.json","fetch_events":"https://pith.science/api/pith-number/RSFEJY6DOE44INTOJ4RQLSTDDE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE/action/storage_attestation","attest_author":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE/action/author_attestation","sign_citation":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE/action/citation_signature","submit_replication":"https://pith.science/pith/RSFEJY6DOE44INTOJ4RQLSTDDE/action/replication_record"}},"created_at":"2026-07-05T10:10:44.272329+00:00","updated_at":"2026-07-05T10:10:44.272329+00:00"}