{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GPTKAXSKZMFCAG32CHBBRFCUUN","short_pith_number":"pith:GPTKAXSK","canonical_record":{"source":{"id":"2503.17860","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-22T20:40:18Z","cross_cats_sorted":[],"title_canon_sha256":"9b9640701d98dba48f12669d33032fccd6d1fbc77a6ef5bd54f5e9b0974b014d","abstract_canon_sha256":"061ed3b1d970456941ddd06e1c71aac5464f011f8c57a680ae9a806b864a570c"},"schema_version":"1.0"},"canonical_sha256":"33e6a05e4acb0a201b7a11c2189454a367ebfeb95dbdc6dec9bd0fe4f6f4c3f0","source":{"kind":"arxiv","id":"2503.17860","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.17860","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"arxiv_version","alias_value":"2503.17860v1","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.17860","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_12","alias_value":"GPTKAXSKZMFC","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_16","alias_value":"GPTKAXSKZMFCAG32","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_8","alias_value":"GPTKAXSK","created_at":"2026-07-05T10:37:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GPTKAXSKZMFCAG32CHBBRFCUUN","target":"record","payload":{"canonical_record":{"source":{"id":"2503.17860","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-22T20:40:18Z","cross_cats_sorted":[],"title_canon_sha256":"9b9640701d98dba48f12669d33032fccd6d1fbc77a6ef5bd54f5e9b0974b014d","abstract_canon_sha256":"061ed3b1d970456941ddd06e1c71aac5464f011f8c57a680ae9a806b864a570c"},"schema_version":"1.0"},"canonical_sha256":"33e6a05e4acb0a201b7a11c2189454a367ebfeb95dbdc6dec9bd0fe4f6f4c3f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:37:56.666619Z","signature_b64":"BIuvzzgLRrmcW4l7jC27FOXG2em27sx7gCFb9H4PVD0L6ZNmWgBPQoAsCMwmvFh2VfK8hVgpmPNq+L97bGVIDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33e6a05e4acb0a201b7a11c2189454a367ebfeb95dbdc6dec9bd0fe4f6f4c3f0","last_reissued_at":"2026-07-05T10:37:56.665683Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:37:56.665683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.17860","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-05T10:37:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f2AZ47SsO7RSbzDm1aPPA6QH0Fc1GQi+6b+cQWPVR/ZMNKTlD03AXOldahSZlpV9NOj2ma6YczLDkoGlDo7cAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:23:17.932191Z"},"content_sha256":"0572dbc369cdee6ef81096165381cc96bfb35b8049379fdffe7a99963a32892b","schema_version":"1.0","event_id":"sha256:0572dbc369cdee6ef81096165381cc96bfb35b8049379fdffe7a99963a32892b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GPTKAXSKZMFCAG32CHBBRFCUUN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Retrieval Systems with Inference-Time Logical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Felix Faltings, Wei Wei, Yujia Bao","submitted_at":"2025-03-22T20:40:18Z","abstract_excerpt":"Traditional retrieval methods rely on transforming user queries into vector representations and retrieving documents based on cosine similarity within an embedding space. While efficient and scalable, this approach often fails to handle complex queries involving logical constructs such as negations, conjunctions, and disjunctions. In this paper, we propose a novel inference-time logical reasoning framework that explicitly incorporates logical reasoning into the retrieval process. Our method extracts logical reasoning structures from natural language queries and then composes the individual cos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.17860","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/2503.17860/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-05T10:37:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E3KzNgeAXBE3JtbTOtJNhvaY3Kgt2fyk0YosLfLdsFmQzGMcyQyBrP5AjbIF9tuJHaXcAK98EhXkFkOZOS3PBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:23:17.933123Z"},"content_sha256":"1bed3bb3f539ad27c0a8cc2f03055ce2e6551bb9b35ff5ebcf839205547509a0","schema_version":"1.0","event_id":"sha256:1bed3bb3f539ad27c0a8cc2f03055ce2e6551bb9b35ff5ebcf839205547509a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/bundle.json","state_url":"https://pith.science/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/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-11T08:23:17Z","links":{"resolver":"https://pith.science/pith/GPTKAXSKZMFCAG32CHBBRFCUUN","bundle":"https://pith.science/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/bundle.json","state":"https://pith.science/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GPTKAXSKZMFCAG32CHBBRFCUUN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GPTKAXSKZMFCAG32CHBBRFCUUN","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":"061ed3b1d970456941ddd06e1c71aac5464f011f8c57a680ae9a806b864a570c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-22T20:40:18Z","title_canon_sha256":"9b9640701d98dba48f12669d33032fccd6d1fbc77a6ef5bd54f5e9b0974b014d"},"schema_version":"1.0","source":{"id":"2503.17860","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.17860","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"arxiv_version","alias_value":"2503.17860v1","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.17860","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_12","alias_value":"GPTKAXSKZMFC","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_16","alias_value":"GPTKAXSKZMFCAG32","created_at":"2026-07-05T10:37:56Z"},{"alias_kind":"pith_short_8","alias_value":"GPTKAXSK","created_at":"2026-07-05T10:37:56Z"}],"graph_snapshots":[{"event_id":"sha256:1bed3bb3f539ad27c0a8cc2f03055ce2e6551bb9b35ff5ebcf839205547509a0","target":"graph","created_at":"2026-07-05T10:37:56Z","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/2503.17860/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Traditional retrieval methods rely on transforming user queries into vector representations and retrieving documents based on cosine similarity within an embedding space. While efficient and scalable, this approach often fails to handle complex queries involving logical constructs such as negations, conjunctions, and disjunctions. In this paper, we propose a novel inference-time logical reasoning framework that explicitly incorporates logical reasoning into the retrieval process. Our method extracts logical reasoning structures from natural language queries and then composes the individual cos","authors_text":"Felix Faltings, Wei Wei, Yujia Bao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-22T20:40:18Z","title":"Enhancing Retrieval Systems with Inference-Time Logical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.17860","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:0572dbc369cdee6ef81096165381cc96bfb35b8049379fdffe7a99963a32892b","target":"record","created_at":"2026-07-05T10:37:56Z","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":"061ed3b1d970456941ddd06e1c71aac5464f011f8c57a680ae9a806b864a570c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-22T20:40:18Z","title_canon_sha256":"9b9640701d98dba48f12669d33032fccd6d1fbc77a6ef5bd54f5e9b0974b014d"},"schema_version":"1.0","source":{"id":"2503.17860","kind":"arxiv","version":1}},"canonical_sha256":"33e6a05e4acb0a201b7a11c2189454a367ebfeb95dbdc6dec9bd0fe4f6f4c3f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33e6a05e4acb0a201b7a11c2189454a367ebfeb95dbdc6dec9bd0fe4f6f4c3f0","first_computed_at":"2026-07-05T10:37:56.665683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:37:56.665683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BIuvzzgLRrmcW4l7jC27FOXG2em27sx7gCFb9H4PVD0L6ZNmWgBPQoAsCMwmvFh2VfK8hVgpmPNq+L97bGVIDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:37:56.666619Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.17860","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0572dbc369cdee6ef81096165381cc96bfb35b8049379fdffe7a99963a32892b","sha256:1bed3bb3f539ad27c0a8cc2f03055ce2e6551bb9b35ff5ebcf839205547509a0"],"state_sha256":"b77b76d0351dda8517a1a4e905cb574ae68a7e08fc542fc0f69ae39bb43c952a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2o0O/JxZRLDFgROqf+MIa1RhoA9XMVRbBMkRhXEZHkC5iRya0ItK+B29mn3NOvwpw0PZmlTimL6Iyju36KTOCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T08:23:17.940333Z","bundle_sha256":"ae424970a3f8d2cabe3a3e5781c99446cdab910f83cdd8aea9d5faaf9861673d"}}