{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3NAICPASB3LOFPP6JR5DUFZL27","short_pith_number":"pith:3NAICPAS","canonical_record":{"source":{"id":"2505.19588","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-26T07:00:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"506d0ddd978ca26bfab400a9e453ca139c6eddb79a6ddd8a9495bbde39993fd2","abstract_canon_sha256":"26b2ec9a165d7a89e86e4d79b276af7f0d03e93e0a80f68a17defc1b9dd816b7"},"schema_version":"1.0"},"canonical_sha256":"db40813c120ed6e2bdfe4c7a3a172bd7c137787afe584e1711ca9767c87fcbc3","source":{"kind":"arxiv","id":"2505.19588","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.19588","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"arxiv_version","alias_value":"2505.19588v1","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.19588","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_12","alias_value":"3NAICPASB3LO","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_16","alias_value":"3NAICPASB3LOFPP6","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_8","alias_value":"3NAICPAS","created_at":"2026-07-05T11:09:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3NAICPASB3LOFPP6JR5DUFZL27","target":"record","payload":{"canonical_record":{"source":{"id":"2505.19588","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-26T07:00:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"506d0ddd978ca26bfab400a9e453ca139c6eddb79a6ddd8a9495bbde39993fd2","abstract_canon_sha256":"26b2ec9a165d7a89e86e4d79b276af7f0d03e93e0a80f68a17defc1b9dd816b7"},"schema_version":"1.0"},"canonical_sha256":"db40813c120ed6e2bdfe4c7a3a172bd7c137787afe584e1711ca9767c87fcbc3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:09:33.094492Z","signature_b64":"J7qaqZlEsK70rhXneSnCxZAsVs/N4VOWFxL56BY2nZrf+BjuBxpzRnc372U0zCaMo6GsxllE3heYEyBX0qL6BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db40813c120ed6e2bdfe4c7a3a172bd7c137787afe584e1711ca9767c87fcbc3","last_reissued_at":"2026-07-05T11:09:33.093974Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:09:33.093974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.19588","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-05T11:09:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"khKjuGPG12nY+oVHy7L626QmD+wWFV/mIqc3imoSexaLBZQZ4ZIGEdI3D3tFYbhkvXPvx/nZOZ1JaSbLmvaECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:41:57.686803Z"},"content_sha256":"b9b0aeda503107284f1af9fbb5dbdb4faabac566c6ebdc774aaefd21558c7624","schema_version":"1.0","event_id":"sha256:b9b0aeda503107284f1af9fbb5dbdb4faabac566c6ebdc774aaefd21558c7624"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3NAICPASB3LOFPP6JR5DUFZL27","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LogiCoL: Logically-Informed Contrastive Learning for Set-based Dense Retrieval","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.IR","authors_text":"Chaitanya Malaviya, Dan Roth, Sihao Chen, Xueqiang Xu, Yanzhen Shen, Yunyi Zhang","submitted_at":"2025-05-26T07:00:32Z","abstract_excerpt":"While significant progress has been made with dual- and bi-encoder dense retrievers, they often struggle on queries with logical connectives, a use case that is often overlooked yet important in downstream applications. Current dense retrievers struggle with such queries, such that the retrieved results do not respect the logical constraints implied in the queries. To address this challenge, we introduce LogiCoL, a logically-informed contrastive learning objective for dense retrievers. LogiCoL builds upon in-batch supervised contrastive learning, and learns dense retrievers to respect the subs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.19588","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/2505.19588/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-05T11:09:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EQAH+sPdWT3pY3x6UB3kCQdMux6YqdNjGJGfqulhH/59fWyVNJwmQ2NZf6iFF3ZThn//IoXVqnr+X3gsBhWqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:41:57.687311Z"},"content_sha256":"6fad94d89f020c6d1f67e300d34a3e41b9866b8ce139fbfecf7a8cbfebfd9378","schema_version":"1.0","event_id":"sha256:6fad94d89f020c6d1f67e300d34a3e41b9866b8ce139fbfecf7a8cbfebfd9378"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3NAICPASB3LOFPP6JR5DUFZL27/bundle.json","state_url":"https://pith.science/pith/3NAICPASB3LOFPP6JR5DUFZL27/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3NAICPASB3LOFPP6JR5DUFZL27/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-07T22:41:57Z","links":{"resolver":"https://pith.science/pith/3NAICPASB3LOFPP6JR5DUFZL27","bundle":"https://pith.science/pith/3NAICPASB3LOFPP6JR5DUFZL27/bundle.json","state":"https://pith.science/pith/3NAICPASB3LOFPP6JR5DUFZL27/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3NAICPASB3LOFPP6JR5DUFZL27/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3NAICPASB3LOFPP6JR5DUFZL27","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":"26b2ec9a165d7a89e86e4d79b276af7f0d03e93e0a80f68a17defc1b9dd816b7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-26T07:00:32Z","title_canon_sha256":"506d0ddd978ca26bfab400a9e453ca139c6eddb79a6ddd8a9495bbde39993fd2"},"schema_version":"1.0","source":{"id":"2505.19588","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.19588","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"arxiv_version","alias_value":"2505.19588v1","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.19588","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_12","alias_value":"3NAICPASB3LO","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_16","alias_value":"3NAICPASB3LOFPP6","created_at":"2026-07-05T11:09:33Z"},{"alias_kind":"pith_short_8","alias_value":"3NAICPAS","created_at":"2026-07-05T11:09:33Z"}],"graph_snapshots":[{"event_id":"sha256:6fad94d89f020c6d1f67e300d34a3e41b9866b8ce139fbfecf7a8cbfebfd9378","target":"graph","created_at":"2026-07-05T11:09: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/2505.19588/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While significant progress has been made with dual- and bi-encoder dense retrievers, they often struggle on queries with logical connectives, a use case that is often overlooked yet important in downstream applications. Current dense retrievers struggle with such queries, such that the retrieved results do not respect the logical constraints implied in the queries. To address this challenge, we introduce LogiCoL, a logically-informed contrastive learning objective for dense retrievers. LogiCoL builds upon in-batch supervised contrastive learning, and learns dense retrievers to respect the subs","authors_text":"Chaitanya Malaviya, Dan Roth, Sihao Chen, Xueqiang Xu, Yanzhen Shen, Yunyi Zhang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-26T07:00:32Z","title":"LogiCoL: Logically-Informed Contrastive Learning for Set-based Dense Retrieval"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.19588","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:b9b0aeda503107284f1af9fbb5dbdb4faabac566c6ebdc774aaefd21558c7624","target":"record","created_at":"2026-07-05T11:09: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":"26b2ec9a165d7a89e86e4d79b276af7f0d03e93e0a80f68a17defc1b9dd816b7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-26T07:00:32Z","title_canon_sha256":"506d0ddd978ca26bfab400a9e453ca139c6eddb79a6ddd8a9495bbde39993fd2"},"schema_version":"1.0","source":{"id":"2505.19588","kind":"arxiv","version":1}},"canonical_sha256":"db40813c120ed6e2bdfe4c7a3a172bd7c137787afe584e1711ca9767c87fcbc3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db40813c120ed6e2bdfe4c7a3a172bd7c137787afe584e1711ca9767c87fcbc3","first_computed_at":"2026-07-05T11:09:33.093974Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:09:33.093974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J7qaqZlEsK70rhXneSnCxZAsVs/N4VOWFxL56BY2nZrf+BjuBxpzRnc372U0zCaMo6GsxllE3heYEyBX0qL6BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:09:33.094492Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.19588","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b9b0aeda503107284f1af9fbb5dbdb4faabac566c6ebdc774aaefd21558c7624","sha256:6fad94d89f020c6d1f67e300d34a3e41b9866b8ce139fbfecf7a8cbfebfd9378"],"state_sha256":"573cc7f17d16ce8a0494cc95849df12a97b9630689055e5e0466b804dbfc6f31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hdv62j33+JjznQw1IdQIiUjkw57VComeSEg3eK7T9gDwchE10CUI8vs5kTFaaDa/dpMWcpmVd5VjjvE7TZV1Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T22:41:57.692552Z","bundle_sha256":"3e9e5e946a7abfa183ea63aee29fd0ad6fe87ad6ca702b54ea20dd5e516a3bbf"}}