{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:LA53TOL7HK6KLVVZYNT5JKJTF4","short_pith_number":"pith:LA53TOL7","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"},"canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","source":{"kind":"arxiv","id":"2410.21779","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21779","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21779v1","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21779","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_12","alias_value":"LA53TOL7HK6K","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_16","alias_value":"LA53TOL7HK6KLVVZ","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_8","alias_value":"LA53TOL7","created_at":"2026-07-05T09:27:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:LA53TOL7HK6KLVVZYNT5JKJTF4","target":"record","payload":{"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"},"canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","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"},"source_kind":"arxiv","source_id":"2410.21779","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-05T09:27:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RwXBGqgvchiLu2P6FdNaBA/MclDfue8zkZFbS+V5se/KgDo5PMTVRazmNmRcZjeZx/I3xA6Dej+TyuYKhhgqDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T06:54:22.455944Z"},"content_sha256":"943f419f5a2968bcdb000988ed7c06c5c8f857851ec22fb5bb96c1554e16a12b","schema_version":"1.0","event_id":"sha256:943f419f5a2968bcdb000988ed7c06c5c8f857851ec22fb5bb96c1554e16a12b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:LA53TOL7HK6KLVVZYNT5JKJTF4","target":"graph","payload":{"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"},"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-05T09:27:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OjmQC8W36C6MMa3OWukJM2Rhi66AM2h+V8CSyjw8Nss5VDGCYAu/NU3eF5V9I3ffWrPFbjEXdFrUMf9Txn6kAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T06:54:22.456333Z"},"content_sha256":"467ca03dcecbed74d1cff6ef779fc392e30c2fcea91af26050b938f4740c10da","schema_version":"1.0","event_id":"sha256:467ca03dcecbed74d1cff6ef779fc392e30c2fcea91af26050b938f4740c10da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/bundle.json","state_url":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/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-07-06T06:54:22Z","links":{"resolver":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4","bundle":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/bundle.json","state":"https://pith.science/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LA53TOL7HK6KLVVZYNT5JKJTF4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:LA53TOL7HK6KLVVZYNT5JKJTF4","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":"f6336633f0ef6ecd07eab6e9511aba334a921cb0d7bcd50659e84000d0426462","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-10-29T06:38:46Z","title_canon_sha256":"22fd2ebeb4eccffda792c2f72fb566a136dc7fd9bee500cd7808a923e1c378f6"},"schema_version":"1.0","source":{"id":"2410.21779","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21779","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21779v1","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21779","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_12","alias_value":"LA53TOL7HK6K","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_16","alias_value":"LA53TOL7HK6KLVVZ","created_at":"2026-07-05T09:27:33Z"},{"alias_kind":"pith_short_8","alias_value":"LA53TOL7","created_at":"2026-07-05T09:27:33Z"}],"graph_snapshots":[{"event_id":"sha256:467ca03dcecbed74d1cff6ef779fc392e30c2fcea91af26050b938f4740c10da","target":"graph","created_at":"2026-07-05T09:27:33Z","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/2410.21779/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Jiatong Li, Mingyue Cheng, Qi Liu, Qingchuan Li, Tongxuan Liu, Weizhe Huang, Yuting Zeng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-10-29T06:38:46Z","title":"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21779","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:943f419f5a2968bcdb000988ed7c06c5c8f857851ec22fb5bb96c1554e16a12b","target":"record","created_at":"2026-07-05T09:27:33Z","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":"f6336633f0ef6ecd07eab6e9511aba334a921cb0d7bcd50659e84000d0426462","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-10-29T06:38:46Z","title_canon_sha256":"22fd2ebeb4eccffda792c2f72fb566a136dc7fd9bee500cd7808a923e1c378f6"},"schema_version":"1.0","source":{"id":"2410.21779","kind":"arxiv","version":1}},"canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"583bb9b97f3abca5d6b9c367d4a9332f28af9bf3b73a07da266279a22e67c303","first_computed_at":"2026-07-05T09:27:33.257719Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:27:33.257719Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1qIWZE1/Oxvs09Pc0QEsWEspLzkKWXShAb808jEdoUNsOe/1IABpc+JgWbIPIRKXL+ZTT2LvfuHPAgASCR9cCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:27:33.258219Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.21779","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:943f419f5a2968bcdb000988ed7c06c5c8f857851ec22fb5bb96c1554e16a12b","sha256:467ca03dcecbed74d1cff6ef779fc392e30c2fcea91af26050b938f4740c10da"],"state_sha256":"7877c17f9652ddf0928fc72efd1b633f69334be0feb06be092072c93c0791e22"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pXG6ZIgVO+Lzl3tkWFhEHF+nr/SsjbCLBMwslONisy1nrJNKEjSzlsqHz2BbkfGPRe2yf522/ELoxFaCZSIaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T06:54:22.458549Z","bundle_sha256":"1195ea3fe2e3ca6e082b6f354a42bf23502587d7770ac04140fb1c0c2914a8dc"}}