{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:LA53TOL7HK6KLVVZYNT5JKJTF4","short_pith_number":"pith:LA53TOL7","schema_version":"1.0","canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","source":{"kind":"arxiv","id":"2410.21779","version":1},"attestation_state":"computed","paper":{"title":"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jiatong Li, Mingyue Cheng, Qi Liu, Qingchuan Li, Tongxuan Liu, Weizhe Huang, Yuting Zeng","submitted_at":"2024-10-29T06:38:46Z","abstract_excerpt":"Large Language Models (LLMs) have exhibited remarkable potential across a wide array of reasoning tasks, including logical reasoning. Although massive efforts have been made to empower the logical reasoning ability of LLMs via external logical symbolic solvers, crucial challenges of the poor generalization ability to questions with different features and inevitable question information loss of symbolic solver-driven approaches remain unresolved. To mitigate these issues, we introduce LINA, a LLM-driven neuro-symbolic approach for faithful logical reasoning. By enabling an LLM to autonomously p"},"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":"2410.21779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-10-29T06:38:46Z","cross_cats_sorted":[],"title_canon_sha256":"22fd2ebeb4eccffda792c2f72fb566a136dc7fd9bee500cd7808a923e1c378f6","abstract_canon_sha256":"f6336633f0ef6ecd07eab6e9511aba334a921cb0d7bcd50659e84000d0426462"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:27:33.258219Z","signature_b64":"1qIWZE1/Oxvs09Pc0QEsWEspLzkKWXShAb808jEdoUNsOe/1IABpc+JgWbIPIRKXL+ZTT2LvfuHPAgASCR9cCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","last_reissued_at":"2026-07-05T09:27:33.257719Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:27:33.257719Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jiatong Li, Mingyue Cheng, Qi Liu, Qingchuan Li, Tongxuan Liu, Weizhe Huang, Yuting Zeng","submitted_at":"2024-10-29T06:38:46Z","abstract_excerpt":"Large Language Models (LLMs) have exhibited remarkable potential across a wide array of reasoning tasks, including logical reasoning. Although massive efforts have been made to empower the logical reasoning ability of LLMs via external logical symbolic solvers, crucial challenges of the poor generalization ability to questions with different features and inevitable question information loss of symbolic solver-driven approaches remain unresolved. To mitigate these issues, we introduce LINA, a LLM-driven neuro-symbolic approach for faithful logical reasoning. By enabling an LLM to autonomously p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21779","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/2410.21779/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":"2410.21779","created_at":"2026-07-05T09:27:33.257779+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.21779v1","created_at":"2026-07-05T09:27:33.257779+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21779","created_at":"2026-07-05T09:27:33.257779+00:00"},{"alias_kind":"pith_short_12","alias_value":"LA53TOL7HK6K","created_at":"2026-07-05T09:27:33.257779+00:00"},{"alias_kind":"pith_short_16","alias_value":"LA53TOL7HK6KLVVZ","created_at":"2026-07-05T09:27:33.257779+00:00"},{"alias_kind":"pith_short_8","alias_value":"LA53TOL7","created_at":"2026-07-05T09:27:33.257779+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.16118","citing_title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","ref_index":50,"is_internal_anchor":false},{"citing_arxiv_id":"2606.02837","citing_title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","ref_index":52,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4","json":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4.json","graph_json":"https://pith.science/api/pith-number/LA53TOL7HK6KLVVZYNT5JKJTF4/graph.json","events_json":"https://pith.science/api/pith-number/LA53TOL7HK6KLVVZYNT5JKJTF4/events.json","paper":"https://pith.science/paper/LA53TOL7"},"agent_actions":{"view_html":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4","download_json":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4.json","view_paper":"https://pith.science/paper/LA53TOL7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.21779&json=true","fetch_graph":"https://pith.science/api/pith-number/LA53TOL7HK6KLVVZYNT5JKJTF4/graph.json","fetch_events":"https://pith.science/api/pith-number/LA53TOL7HK6KLVVZYNT5JKJTF4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/action/storage_attestation","attest_author":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/action/author_attestation","sign_citation":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/action/citation_signature","submit_replication":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/action/replication_record"}},"created_at":"2026-07-05T09:27:33.257779+00:00","updated_at":"2026-07-05T09:27:33.257779+00:00"}