{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:QQRB4BJUBMMEX6IGIQ4RAIHB67","short_pith_number":"pith:QQRB4BJU","canonical_record":{"source":{"id":"2205.12259","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-05-24T17:59:31Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"fb39d6a4c801bc8b14eee6f8adffc86a40a6d5b3a9d4ba38a7e590087eac2ac8","abstract_canon_sha256":"cfe27148e7fe8b619ce6479810839ae192b715e48f368799e68b4414b24cfd55"},"schema_version":"1.0"},"canonical_sha256":"84221e05340b184bf90644391020e1f7efdffc45d424514e4931c6e6e9443f2e","source":{"kind":"arxiv","id":"2205.12259","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.12259","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"2205.12259v1","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.12259","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"QQRB4BJUBMME","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QQRB4BJUBMMEX6IG","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QQRB4BJU","created_at":"2026-07-05T04:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:QQRB4BJUBMMEX6IGIQ4RAIHB67","target":"record","payload":{"canonical_record":{"source":{"id":"2205.12259","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-05-24T17:59:31Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"fb39d6a4c801bc8b14eee6f8adffc86a40a6d5b3a9d4ba38a7e590087eac2ac8","abstract_canon_sha256":"cfe27148e7fe8b619ce6479810839ae192b715e48f368799e68b4414b24cfd55"},"schema_version":"1.0"},"canonical_sha256":"84221e05340b184bf90644391020e1f7efdffc45d424514e4931c6e6e9443f2e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:26:12.709625Z","signature_b64":"bUKR3EN/wzavNQlQSIT4uLQZr6M95MILVshrlnAztmK2Vr/sMWa/7+xluLHOT1aSLqyEDIjSNOnseKZ1x5GNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84221e05340b184bf90644391020e1f7efdffc45d424514e4931c6e6e9443f2e","last_reissued_at":"2026-07-05T04:26:12.709267Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:26:12.709267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.12259","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-05T04:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sewWBi4NVLG9r4AWSUDANQ1DJ2fHiAdRcy8ITxyQhLRi/FUR+2gVK28+yDRzs/gQ4cea/K+v1BPd+u3mEUHdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T09:49:12.938697Z"},"content_sha256":"2be7a9c1525acf40ebb44207cbd9dc35cb0be0bfff516e0566ba39d3843e7867","schema_version":"1.0","event_id":"sha256:2be7a9c1525acf40ebb44207cbd9dc35cb0be0bfff516e0566ba39d3843e7867"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:QQRB4BJUBMMEX6IGIQ4RAIHB67","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Policy Compliance Detection via Expression Tree Inference","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CL","authors_text":"Andreas Vlachos, Lambert Mathias, Majid Yazdani, Marzieh Saeidi, Neema Kotonya","submitted_at":"2022-05-24T17:59:31Z","abstract_excerpt":"Policy Compliance Detection (PCD) is a task we encounter when reasoning over texts, e.g. legal frameworks. Previous work to address PCD relies heavily on modeling the task as a special case of Recognizing Textual Entailment. Entailment is applicable to the problem of PCD, however viewing the policy as a single proposition, as opposed to multiple interlinked propositions, yields poor performance and lacks explainability. To address this challenge, more recent proposals for PCD have argued for decomposing policies into expression trees consisting of questions connected with logic operators. Ques"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12259","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/2205.12259/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-05T04:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hp7I+dWZhya/VbGk6O8I+hqIgTfdwYL8Z9KiAaYqGlH9SKpau0zUg3+R3fGWOuoPf/HMlf4YFTNtCoqxkwZRAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T09:49:12.939062Z"},"content_sha256":"4413adb17877551e062464eeda195717e4a2c76a746404d7cd354a64dbacc387","schema_version":"1.0","event_id":"sha256:4413adb17877551e062464eeda195717e4a2c76a746404d7cd354a64dbacc387"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/bundle.json","state_url":"https://pith.science/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/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-13T09:49:12Z","links":{"resolver":"https://pith.science/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67","bundle":"https://pith.science/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/bundle.json","state":"https://pith.science/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QQRB4BJUBMMEX6IGIQ4RAIHB67/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:QQRB4BJUBMMEX6IGIQ4RAIHB67","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":"cfe27148e7fe8b619ce6479810839ae192b715e48f368799e68b4414b24cfd55","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-05-24T17:59:31Z","title_canon_sha256":"fb39d6a4c801bc8b14eee6f8adffc86a40a6d5b3a9d4ba38a7e590087eac2ac8"},"schema_version":"1.0","source":{"id":"2205.12259","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.12259","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"2205.12259v1","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.12259","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"QQRB4BJUBMME","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QQRB4BJUBMMEX6IG","created_at":"2026-07-05T04:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QQRB4BJU","created_at":"2026-07-05T04:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:4413adb17877551e062464eeda195717e4a2c76a746404d7cd354a64dbacc387","target":"graph","created_at":"2026-07-05T04:26:12Z","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/2205.12259/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Policy Compliance Detection (PCD) is a task we encounter when reasoning over texts, e.g. legal frameworks. Previous work to address PCD relies heavily on modeling the task as a special case of Recognizing Textual Entailment. Entailment is applicable to the problem of PCD, however viewing the policy as a single proposition, as opposed to multiple interlinked propositions, yields poor performance and lacks explainability. To address this challenge, more recent proposals for PCD have argued for decomposing policies into expression trees consisting of questions connected with logic operators. Ques","authors_text":"Andreas Vlachos, Lambert Mathias, Majid Yazdani, Marzieh Saeidi, Neema Kotonya","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-05-24T17:59:31Z","title":"Policy Compliance Detection via Expression Tree Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12259","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:2be7a9c1525acf40ebb44207cbd9dc35cb0be0bfff516e0566ba39d3843e7867","target":"record","created_at":"2026-07-05T04:26:12Z","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":"cfe27148e7fe8b619ce6479810839ae192b715e48f368799e68b4414b24cfd55","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-05-24T17:59:31Z","title_canon_sha256":"fb39d6a4c801bc8b14eee6f8adffc86a40a6d5b3a9d4ba38a7e590087eac2ac8"},"schema_version":"1.0","source":{"id":"2205.12259","kind":"arxiv","version":1}},"canonical_sha256":"84221e05340b184bf90644391020e1f7efdffc45d424514e4931c6e6e9443f2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"84221e05340b184bf90644391020e1f7efdffc45d424514e4931c6e6e9443f2e","first_computed_at":"2026-07-05T04:26:12.709267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:26:12.709267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bUKR3EN/wzavNQlQSIT4uLQZr6M95MILVshrlnAztmK2Vr/sMWa/7+xluLHOT1aSLqyEDIjSNOnseKZ1x5GNBg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:26:12.709625Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.12259","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2be7a9c1525acf40ebb44207cbd9dc35cb0be0bfff516e0566ba39d3843e7867","sha256:4413adb17877551e062464eeda195717e4a2c76a746404d7cd354a64dbacc387"],"state_sha256":"0fba5c33b1f9432265c733be8ffca80fc861db9c56ce949aafc2950983baa2e8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"opAS+79HpVJFyenW4JLt30dtHfT51vtB+W8bXWC9TuZa4h3OBIzDke6rtbT5p+WoyEDrlSRM+mdFz85lYjuRBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T09:49:12.941080Z","bundle_sha256":"c5dbcaba38cd16f9534aa432e8c09ebad4e9c3803fc34886df2a4efd9cad9fd2"}}