{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:NPBXEQZJQZB3KFC6DJNZOV7SHQ","short_pith_number":"pith:NPBXEQZJ","canonical_record":{"source":{"id":"2212.06882","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-11-01T18:29:48Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"40c6599ab4d74c3f0e59695af3648da5cfd801c5479fcd7bb6ffc47302d51dff","abstract_canon_sha256":"72dc3e3b258ba30a6636cd4e3b8a843e39844351af69bcecc3f7fa6cd48a69a5"},"schema_version":"1.0"},"canonical_sha256":"6bc37243298643b5145e1a5b9757f23c1eef3c74bedfa2e96be1f12c9c9a3edb","source":{"kind":"arxiv","id":"2212.06882","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.06882","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"arxiv_version","alias_value":"2212.06882v1","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.06882","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_12","alias_value":"NPBXEQZJQZB3","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_16","alias_value":"NPBXEQZJQZB3KFC6","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_8","alias_value":"NPBXEQZJ","created_at":"2026-07-05T05:25:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:NPBXEQZJQZB3KFC6DJNZOV7SHQ","target":"record","payload":{"canonical_record":{"source":{"id":"2212.06882","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-11-01T18:29:48Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"40c6599ab4d74c3f0e59695af3648da5cfd801c5479fcd7bb6ffc47302d51dff","abstract_canon_sha256":"72dc3e3b258ba30a6636cd4e3b8a843e39844351af69bcecc3f7fa6cd48a69a5"},"schema_version":"1.0"},"canonical_sha256":"6bc37243298643b5145e1a5b9757f23c1eef3c74bedfa2e96be1f12c9c9a3edb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:25:18.742001Z","signature_b64":"hHGTqp82H5PCA70aaYcW+KtvheChH3Fso1tJvvy94t7DlP68WUNop4+nIrz7RvqWj+CTAY9O/dLb2e5dsSaHCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6bc37243298643b5145e1a5b9757f23c1eef3c74bedfa2e96be1f12c9c9a3edb","last_reissued_at":"2026-07-05T05:25:18.741483Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:25:18.741483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.06882","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-05T05:25:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aJdnHc2JeCSePxGLB7ieb2K0H9wabC0DHPP4b4W1t7daCY51dvQVv+bIL3SLezX+CkKwhP8QESw9Hzx8a7srAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:57:28.953962Z"},"content_sha256":"401ed96a09832a7ea2a626209cd3b7fceaf392cc8096332cf013d74cbbb2701c","schema_version":"1.0","event_id":"sha256:401ed96a09832a7ea2a626209cd3b7fceaf392cc8096332cf013d74cbbb2701c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:NPBXEQZJQZB3KFC6DJNZOV7SHQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Envisioning a Human-AI collaborative system to transform policies into decision models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Denisa Moga, Eoin Carroll, Gabriele Picco, Inge Vejsbjerg, John Segrave-Daly, Marco Luca Sbodio, Miao Wei, Sean Swords, Thanh Lam Hoang, Vanessa Lopez, Yufang Hou","submitted_at":"2022-11-01T18:29:48Z","abstract_excerpt":"Regulations govern many aspects of citizens' daily lives. Governments and businesses routinely automate these in the form of coded rules (e.g., to check a citizen's eligibility for specific benefits). However, the path to automation is long and challenging. To address this, recent global initiatives for digital government, proposing to simultaneously express policy in natural language for human consumption as well as computationally amenable rules or code, are gathering broad public-sector interest. We introduce the problem of semi-automatically building decision models from eligibility polici"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.06882","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/2212.06882/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-05T05:25:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TcTUQRng8tXqHJnvoozdReDX/k4UDwMzxZC8+4dlBfhBVBcf/8dw6boKLNqNcU0z3D4KFMcof9rqCmoYkJ4BAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:57:28.954776Z"},"content_sha256":"32d187a480cb0643976c5f7e74986c7e35af53ccbcb5c672318ff8eb3b9e77e2","schema_version":"1.0","event_id":"sha256:32d187a480cb0643976c5f7e74986c7e35af53ccbcb5c672318ff8eb3b9e77e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/bundle.json","state_url":"https://pith.science/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/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-12T09:57:28Z","links":{"resolver":"https://pith.science/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ","bundle":"https://pith.science/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/bundle.json","state":"https://pith.science/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NPBXEQZJQZB3KFC6DJNZOV7SHQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:NPBXEQZJQZB3KFC6DJNZOV7SHQ","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":"72dc3e3b258ba30a6636cd4e3b8a843e39844351af69bcecc3f7fa6cd48a69a5","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-11-01T18:29:48Z","title_canon_sha256":"40c6599ab4d74c3f0e59695af3648da5cfd801c5479fcd7bb6ffc47302d51dff"},"schema_version":"1.0","source":{"id":"2212.06882","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.06882","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"arxiv_version","alias_value":"2212.06882v1","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.06882","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_12","alias_value":"NPBXEQZJQZB3","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_16","alias_value":"NPBXEQZJQZB3KFC6","created_at":"2026-07-05T05:25:18Z"},{"alias_kind":"pith_short_8","alias_value":"NPBXEQZJ","created_at":"2026-07-05T05:25:18Z"}],"graph_snapshots":[{"event_id":"sha256:32d187a480cb0643976c5f7e74986c7e35af53ccbcb5c672318ff8eb3b9e77e2","target":"graph","created_at":"2026-07-05T05:25:18Z","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/2212.06882/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Regulations govern many aspects of citizens' daily lives. Governments and businesses routinely automate these in the form of coded rules (e.g., to check a citizen's eligibility for specific benefits). However, the path to automation is long and challenging. To address this, recent global initiatives for digital government, proposing to simultaneously express policy in natural language for human consumption as well as computationally amenable rules or code, are gathering broad public-sector interest. We introduce the problem of semi-automatically building decision models from eligibility polici","authors_text":"Denisa Moga, Eoin Carroll, Gabriele Picco, Inge Vejsbjerg, John Segrave-Daly, Marco Luca Sbodio, Miao Wei, Sean Swords, Thanh Lam Hoang, Vanessa Lopez, Yufang Hou","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-11-01T18:29:48Z","title":"Envisioning a Human-AI collaborative system to transform policies into decision models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.06882","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:401ed96a09832a7ea2a626209cd3b7fceaf392cc8096332cf013d74cbbb2701c","target":"record","created_at":"2026-07-05T05:25:18Z","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":"72dc3e3b258ba30a6636cd4e3b8a843e39844351af69bcecc3f7fa6cd48a69a5","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-11-01T18:29:48Z","title_canon_sha256":"40c6599ab4d74c3f0e59695af3648da5cfd801c5479fcd7bb6ffc47302d51dff"},"schema_version":"1.0","source":{"id":"2212.06882","kind":"arxiv","version":1}},"canonical_sha256":"6bc37243298643b5145e1a5b9757f23c1eef3c74bedfa2e96be1f12c9c9a3edb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6bc37243298643b5145e1a5b9757f23c1eef3c74bedfa2e96be1f12c9c9a3edb","first_computed_at":"2026-07-05T05:25:18.741483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:25:18.741483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hHGTqp82H5PCA70aaYcW+KtvheChH3Fso1tJvvy94t7DlP68WUNop4+nIrz7RvqWj+CTAY9O/dLb2e5dsSaHCw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:25:18.742001Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.06882","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:401ed96a09832a7ea2a626209cd3b7fceaf392cc8096332cf013d74cbbb2701c","sha256:32d187a480cb0643976c5f7e74986c7e35af53ccbcb5c672318ff8eb3b9e77e2"],"state_sha256":"aa63d90a0dcf856c136b5010294867b070bc130f8a4a2f976d7c88805b14643f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gMz04vg6/vF5g/X8ylcFBMIWSJ6FOkHvOh7KRhQmih7eAGlP+sGcGErR9hIwAWAiBHQPiNuKJNiY53IkWkJCAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T09:57:28.959700Z","bundle_sha256":"854245b89fd5d999444e225b9f9732f4571eb45286d2fba678b3fc83c6d40ac4"}}