{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ZRWTTKTPMUQ5GFSCBDZ2K6QKPG","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":"2500e5bac6055e106b28a54d5375cbf528bbf9ef2936a62526ed827ae0c98bb4","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-19T13:54:52Z","title_canon_sha256":"1027f8ffc2a5113c822173dcda836fb2c9e4fbba1df9d8ce5754919cb258231d"},"schema_version":"1.0","source":{"id":"2205.09569","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.09569","created_at":"2026-07-05T04:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"2205.09569v1","created_at":"2026-07-05T04:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.09569","created_at":"2026-07-05T04:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"ZRWTTKTPMUQ5","created_at":"2026-07-05T04:24:46Z"},{"alias_kind":"pith_short_16","alias_value":"ZRWTTKTPMUQ5GFSC","created_at":"2026-07-05T04:24:46Z"},{"alias_kind":"pith_short_8","alias_value":"ZRWTTKTP","created_at":"2026-07-05T04:24:46Z"}],"graph_snapshots":[{"event_id":"sha256:d861086429a305f02e1fe4faac819bf93fbc76881113868c67e0433aef16f0be","target":"graph","created_at":"2026-07-05T04:24:46Z","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.09569/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decision trees (DTs) embody interpretable classifiers. DTs have been advocated for deployment in high-risk applications, but also for explaining other complex classifiers. Nevertheless, recent work has demonstrated that predictions in DTs ought to be explained with rigorous approaches. Although rigorous explanations can be computed in polynomial time for DTs, their size may be beyond the cognitive limits of human decision makers. This paper investigates the computation of {\\delta}-relevant sets for DTs. {\\delta}-relevant sets denote explanations that are succinct and provably precise. These se","authors_text":"Alexey Ignatiev, Joao Marques-Silva, Martin C. Cooper, Nina Narodytska, Yacine Izza","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-19T13:54:52Z","title":"Provably Precise, Succinct and Efficient Explanations for Decision Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.09569","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:8d749477db7a38c2e3a895cd7856499707ff4c256bf6e0e80f7359b7f2e5e552","target":"record","created_at":"2026-07-05T04:24:46Z","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":"2500e5bac6055e106b28a54d5375cbf528bbf9ef2936a62526ed827ae0c98bb4","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-19T13:54:52Z","title_canon_sha256":"1027f8ffc2a5113c822173dcda836fb2c9e4fbba1df9d8ce5754919cb258231d"},"schema_version":"1.0","source":{"id":"2205.09569","kind":"arxiv","version":1}},"canonical_sha256":"cc6d39aa6f6521d3164208f3a57a0a79bdf61734f47812871f2f9ef18666aa6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc6d39aa6f6521d3164208f3a57a0a79bdf61734f47812871f2f9ef18666aa6c","first_computed_at":"2026-07-05T04:24:46.226505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:24:46.226505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xb4uTFTREaTCa89wT5BokqCKIbyaY6xp6THQfFnrProaa1uk1QKTUZSSNLDWysS6wjibED99MdimOndZmj+yDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:24:46.226893Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.09569","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d749477db7a38c2e3a895cd7856499707ff4c256bf6e0e80f7359b7f2e5e552","sha256:d861086429a305f02e1fe4faac819bf93fbc76881113868c67e0433aef16f0be"],"state_sha256":"be65a23dd37d1b4e83fad419720ead613bfdc3b4d6a21d787869989feddfbc18"}