{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:HRVHBYRRKE4Q2EGATJIBL2ZO2W","short_pith_number":"pith:HRVHBYRR","schema_version":"1.0","canonical_sha256":"3c6a70e23151390d10c09a5015eb2ed5948c7409176ad7a7e49956d568173f5f","source":{"kind":"arxiv","id":"2311.06158","version":1},"attestation_state":"computed","paper":{"title":"Language Models can be Logical Solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Dongyan Zhao, Hiteshi Sharma, Jiazhan Feng, Junheng Hao, Ruochen Xu, Weizhu Chen, Yelong Shen","submitted_at":"2023-11-10T16:23:50Z","abstract_excerpt":"Logical reasoning is a fundamental aspect of human intelligence and a key component of tasks like problem-solving and decision-making. Recent advancements have enabled Large Language Models (LLMs) to potentially exhibit reasoning capabilities, but complex logical reasoning remains a challenge. The state-of-the-art, solver-augmented language models, use LLMs to parse natural language logical questions into symbolic representations first and then adopt external logical solvers to take in the symbolic representations and output the answers. Despite their impressive performance, any parsing errors"},"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":"2311.06158","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-11-10T16:23:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"77ca97cdd9143fd05a43cf71dcd645b18de0ebbffcc8832f7adfc2a48792a4aa","abstract_canon_sha256":"37f85e6ddffbdaa30d062362bccef360ee951bf44ac3bc0da5fd6c5efd9ef63e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:11:29.096501Z","signature_b64":"r75teLEfXVjDXNW1mnHBQ7AguVc8Ys1FzjsOpyKGDtRDFkKMmFYxHZKMrP97ucfzvgG3aTDYc7VFpmOfDGHcCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c6a70e23151390d10c09a5015eb2ed5948c7409176ad7a7e49956d568173f5f","last_reissued_at":"2026-07-05T07:11:29.096027Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:11:29.096027Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Language Models can be Logical Solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Dongyan Zhao, Hiteshi Sharma, Jiazhan Feng, Junheng Hao, Ruochen Xu, Weizhu Chen, Yelong Shen","submitted_at":"2023-11-10T16:23:50Z","abstract_excerpt":"Logical reasoning is a fundamental aspect of human intelligence and a key component of tasks like problem-solving and decision-making. Recent advancements have enabled Large Language Models (LLMs) to potentially exhibit reasoning capabilities, but complex logical reasoning remains a challenge. The state-of-the-art, solver-augmented language models, use LLMs to parse natural language logical questions into symbolic representations first and then adopt external logical solvers to take in the symbolic representations and output the answers. Despite their impressive performance, any parsing errors"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.06158","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/2311.06158/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":"2311.06158","created_at":"2026-07-05T07:11:29.096090+00:00"},{"alias_kind":"arxiv_version","alias_value":"2311.06158v1","created_at":"2026-07-05T07:11:29.096090+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.06158","created_at":"2026-07-05T07:11:29.096090+00:00"},{"alias_kind":"pith_short_12","alias_value":"HRVHBYRRKE4Q","created_at":"2026-07-05T07:11:29.096090+00:00"},{"alias_kind":"pith_short_16","alias_value":"HRVHBYRRKE4Q2EGA","created_at":"2026-07-05T07:11:29.096090+00:00"},{"alias_kind":"pith_short_8","alias_value":"HRVHBYRR","created_at":"2026-07-05T07:11:29.096090+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2509.03540","citing_title":"Improving Factuality in LLMs via Inference-Time Knowledge Graph Construction","ref_index":10,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W","json":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W.json","graph_json":"https://pith.science/api/pith-number/HRVHBYRRKE4Q2EGATJIBL2ZO2W/graph.json","events_json":"https://pith.science/api/pith-number/HRVHBYRRKE4Q2EGATJIBL2ZO2W/events.json","paper":"https://pith.science/paper/HRVHBYRR"},"agent_actions":{"view_html":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W","download_json":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W.json","view_paper":"https://pith.science/paper/HRVHBYRR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2311.06158&json=true","fetch_graph":"https://pith.science/api/pith-number/HRVHBYRRKE4Q2EGATJIBL2ZO2W/graph.json","fetch_events":"https://pith.science/api/pith-number/HRVHBYRRKE4Q2EGATJIBL2ZO2W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W/action/storage_attestation","attest_author":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W/action/author_attestation","sign_citation":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W/action/citation_signature","submit_replication":"https://pith.science/pith/HRVHBYRRKE4Q2EGATJIBL2ZO2W/action/replication_record"}},"created_at":"2026-07-05T07:11:29.096090+00:00","updated_at":"2026-07-05T07:11:29.096090+00:00"}