{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:XDPAFB364XZXKAKHCR57U36COO","short_pith_number":"pith:XDPAFB36","canonical_record":{"source":{"id":"2406.00284","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-01T03:29:56Z","cross_cats_sorted":[],"title_canon_sha256":"0fa8739fe5c9e08cfd80f6aa6e575331a47ea5a3e998b05cfb669b831ca88093","abstract_canon_sha256":"d78641706de651be3a96b26b00d167385c617a7a5b7511877ee0a631d3b41fa8"},"schema_version":"1.0"},"canonical_sha256":"b8de02877ee5f3750147147bfa6fc273b0a865f87324a0ad1a6c40f9c35750ac","source":{"kind":"arxiv","id":"2406.00284","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00284","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00284v2","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00284","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_12","alias_value":"XDPAFB364XZX","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_16","alias_value":"XDPAFB364XZXKAKH","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_8","alias_value":"XDPAFB36","created_at":"2026-07-05T08:42:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:XDPAFB364XZXKAKHCR57U36COO","target":"record","payload":{"canonical_record":{"source":{"id":"2406.00284","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-01T03:29:56Z","cross_cats_sorted":[],"title_canon_sha256":"0fa8739fe5c9e08cfd80f6aa6e575331a47ea5a3e998b05cfb669b831ca88093","abstract_canon_sha256":"d78641706de651be3a96b26b00d167385c617a7a5b7511877ee0a631d3b41fa8"},"schema_version":"1.0"},"canonical_sha256":"b8de02877ee5f3750147147bfa6fc273b0a865f87324a0ad1a6c40f9c35750ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:42:36.631907Z","signature_b64":"PGzNqcvPsAT5HVc9U7UMzlK13UWcbNXqm277kt3xhV4Iwe4My3tI3r47DoBy120KSd0OJt/cAMjARceHsyXSCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8de02877ee5f3750147147bfa6fc273b0a865f87324a0ad1a6c40f9c35750ac","last_reissued_at":"2026-07-05T08:42:36.631483Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:42:36.631483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.00284","source_version":2,"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-05T08:42:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ngMLYF4pTPkm0SMpjp6FPeKt1FGu0c+nbRcSbseulzn8YyikQobPSO9qofk12sGcEvLmcciaF97suL+o5hXVDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T11:18:58.115234Z"},"content_sha256":"26b5a88c33419a5b2a96ffbbceaf8dc32b9ea6857fca403f322d5bb466686d9c","schema_version":"1.0","event_id":"sha256:26b5a88c33419a5b2a96ffbbceaf8dc32b9ea6857fca403f322d5bb466686d9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:XDPAFB364XZXKAKHCR57U36COO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Ehsan Shareghi, Long Hei Matthew Lam, Ramya Keerthy Thatikonda","submitted_at":"2024-06-01T03:29:56Z","abstract_excerpt":"The emergence of Large Language Models (LLMs) has demonstrated promising progress in solving logical reasoning tasks effectively. Several recent approaches have proposed to change the role of the LLM from the reasoner into a translator between natural language statements and symbolic representations which are then sent to external symbolic solvers to resolve. This paradigm has established the current state-of-the-art result in logical reasoning (i.e., deductive reasoning). However, it remains unclear whether the variance in performance of these approaches stems from the methodologies employed "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00284","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/2406.00284/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-05T08:42:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"toMpOk2sSXx+BUH+wRLah/Re25gkvvY3uPv+wMqpeUUndOf7nIwvmEk5QtJWWU8SRF6MflencIzq6GJ36BOOCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T11:18:58.115772Z"},"content_sha256":"563c743fe83e576a04eafd28f9841985de92b09dc68200b4ac9736409367e58d","schema_version":"1.0","event_id":"sha256:563c743fe83e576a04eafd28f9841985de92b09dc68200b4ac9736409367e58d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XDPAFB364XZXKAKHCR57U36COO/bundle.json","state_url":"https://pith.science/pith/XDPAFB364XZXKAKHCR57U36COO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XDPAFB364XZXKAKHCR57U36COO/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-07T11:18:58Z","links":{"resolver":"https://pith.science/pith/XDPAFB364XZXKAKHCR57U36COO","bundle":"https://pith.science/pith/XDPAFB364XZXKAKHCR57U36COO/bundle.json","state":"https://pith.science/pith/XDPAFB364XZXKAKHCR57U36COO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XDPAFB364XZXKAKHCR57U36COO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:XDPAFB364XZXKAKHCR57U36COO","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":"d78641706de651be3a96b26b00d167385c617a7a5b7511877ee0a631d3b41fa8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-01T03:29:56Z","title_canon_sha256":"0fa8739fe5c9e08cfd80f6aa6e575331a47ea5a3e998b05cfb669b831ca88093"},"schema_version":"1.0","source":{"id":"2406.00284","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00284","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00284v2","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00284","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_12","alias_value":"XDPAFB364XZX","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_16","alias_value":"XDPAFB364XZXKAKH","created_at":"2026-07-05T08:42:36Z"},{"alias_kind":"pith_short_8","alias_value":"XDPAFB36","created_at":"2026-07-05T08:42:36Z"}],"graph_snapshots":[{"event_id":"sha256:563c743fe83e576a04eafd28f9841985de92b09dc68200b4ac9736409367e58d","target":"graph","created_at":"2026-07-05T08:42:36Z","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/2406.00284/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The emergence of Large Language Models (LLMs) has demonstrated promising progress in solving logical reasoning tasks effectively. Several recent approaches have proposed to change the role of the LLM from the reasoner into a translator between natural language statements and symbolic representations which are then sent to external symbolic solvers to resolve. This paradigm has established the current state-of-the-art result in logical reasoning (i.e., deductive reasoning). However, it remains unclear whether the variance in performance of these approaches stems from the methodologies employed ","authors_text":"Ehsan Shareghi, Long Hei Matthew Lam, Ramya Keerthy Thatikonda","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-01T03:29:56Z","title":"A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00284","kind":"arxiv","version":2},"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:26b5a88c33419a5b2a96ffbbceaf8dc32b9ea6857fca403f322d5bb466686d9c","target":"record","created_at":"2026-07-05T08:42:36Z","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":"d78641706de651be3a96b26b00d167385c617a7a5b7511877ee0a631d3b41fa8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-01T03:29:56Z","title_canon_sha256":"0fa8739fe5c9e08cfd80f6aa6e575331a47ea5a3e998b05cfb669b831ca88093"},"schema_version":"1.0","source":{"id":"2406.00284","kind":"arxiv","version":2}},"canonical_sha256":"b8de02877ee5f3750147147bfa6fc273b0a865f87324a0ad1a6c40f9c35750ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8de02877ee5f3750147147bfa6fc273b0a865f87324a0ad1a6c40f9c35750ac","first_computed_at":"2026-07-05T08:42:36.631483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:42:36.631483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PGzNqcvPsAT5HVc9U7UMzlK13UWcbNXqm277kt3xhV4Iwe4My3tI3r47DoBy120KSd0OJt/cAMjARceHsyXSCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:42:36.631907Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.00284","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26b5a88c33419a5b2a96ffbbceaf8dc32b9ea6857fca403f322d5bb466686d9c","sha256:563c743fe83e576a04eafd28f9841985de92b09dc68200b4ac9736409367e58d"],"state_sha256":"bd0daee1809358bca925b0ee79bff25d64e25950861e75b02780f8fddaa23631"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xckfLPtcDjkBxUPdMjs9xaRlsWbDsbNDjDRhtUawKa2IK9POXsXY1ScffDVBCSCxrer8NAfBibjAKHHmQTonAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T11:18:58.120608Z","bundle_sha256":"8603a49a245979e02f96dbb697cf167231b78cd984f32fc4451ae4f80f6239f8"}}