{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:6SSVBQ2HKIMDLR2ATXYOFUWRYP","short_pith_number":"pith:6SSVBQ2H","canonical_record":{"source":{"id":"2206.09551","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-06-20T03:18:14Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"455d114c85763f0b356363b3e6ac631e9dce26594d0c34c80d8962eb20b93a34","abstract_canon_sha256":"5b12200ad307d1f2090a5e292a9d8817fa7a2590b7e41a9e0157019bef72b4c9"},"schema_version":"1.0"},"canonical_sha256":"f4a550c347521835c7409df0e2d2d1c3cc016b8fbfc02287483629c1986b30a5","source":{"kind":"arxiv","id":"2206.09551","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.09551","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"2206.09551v2","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.09551","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"6SSVBQ2HKIMD","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_16","alias_value":"6SSVBQ2HKIMDLR2A","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_8","alias_value":"6SSVBQ2H","created_at":"2026-07-05T05:21:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:6SSVBQ2HKIMDLR2ATXYOFUWRYP","target":"record","payload":{"canonical_record":{"source":{"id":"2206.09551","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-06-20T03:18:14Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"455d114c85763f0b356363b3e6ac631e9dce26594d0c34c80d8962eb20b93a34","abstract_canon_sha256":"5b12200ad307d1f2090a5e292a9d8817fa7a2590b7e41a9e0157019bef72b4c9"},"schema_version":"1.0"},"canonical_sha256":"f4a550c347521835c7409df0e2d2d1c3cc016b8fbfc02287483629c1986b30a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:21:01.806872Z","signature_b64":"9dEuCKNRyQEiS7TStWhYHRD222GN1ZVg91FudEbQJZlrOCK9z5f7LdBQHgNWLv2Je1ChYzH98FcdRgYsx87MCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4a550c347521835c7409df0e2d2d1c3cc016b8fbfc02287483629c1986b30a5","last_reissued_at":"2026-07-05T05:21:01.806437Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:21:01.806437Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.09551","source_version":2,"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:21:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sd3+nD0w00ftTbBlqqgbvmD2fSK/anOykwI9mNTv2wK+yANO2dBJCBEqT0Ges4V+9v4MhmDliCqIjwZPtjcuCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T22:25:23.934433Z"},"content_sha256":"7b8760b799aef7bdca2885fc882fcd1c087449774cc1de9836e4f0dcdae9bdd4","schema_version":"1.0","event_id":"sha256:7b8760b799aef7bdca2885fc882fcd1c087449774cc1de9836e4f0dcdae9bdd4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:6SSVBQ2HKIMDLR2ATXYOFUWRYP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Eliminating The Impossible, Whatever Remains Must Be True","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Alexey Ignatiev, Jinqiang Yu, Joao Marques-Silva, Nina Narodytska, Peter J. Stuckey","submitted_at":"2022-06-20T03:18:14Z","abstract_excerpt":"The rise of AI methods to make predictions and decisions has led to a pressing need for more explainable artificial intelligence (XAI) methods. One common approach for XAI is to produce a post-hoc explanation, explaining why a black box ML model made a certain prediction. Formal approaches to post-hoc explanations provide succinct reasons for why a prediction was made, as well as why not another prediction was made. But these approaches assume that features are independent and uniformly distributed. While this means that \"why\" explanations are correct, they may be longer than required. It also"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.09551","kind":"arxiv","version":2},"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/2206.09551/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:21:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XJzaocG3gmHzPtlw6Cb0PYcwVEJ2jalOYmXRNE2Poq2L9xB1pqWMzwh1R4BvXeqASsDDJEp/TdsIM7ls5sBHAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T22:25:23.935434Z"},"content_sha256":"2a7423269cb0937e3a6191641a582c86063488677f9dda525bf1055011b10683","schema_version":"1.0","event_id":"sha256:2a7423269cb0937e3a6191641a582c86063488677f9dda525bf1055011b10683"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/bundle.json","state_url":"https://pith.science/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/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-05T22:25:23Z","links":{"resolver":"https://pith.science/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP","bundle":"https://pith.science/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/bundle.json","state":"https://pith.science/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6SSVBQ2HKIMDLR2ATXYOFUWRYP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:6SSVBQ2HKIMDLR2ATXYOFUWRYP","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":"5b12200ad307d1f2090a5e292a9d8817fa7a2590b7e41a9e0157019bef72b4c9","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-06-20T03:18:14Z","title_canon_sha256":"455d114c85763f0b356363b3e6ac631e9dce26594d0c34c80d8962eb20b93a34"},"schema_version":"1.0","source":{"id":"2206.09551","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.09551","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"2206.09551v2","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.09551","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"6SSVBQ2HKIMD","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_16","alias_value":"6SSVBQ2HKIMDLR2A","created_at":"2026-07-05T05:21:01Z"},{"alias_kind":"pith_short_8","alias_value":"6SSVBQ2H","created_at":"2026-07-05T05:21:01Z"}],"graph_snapshots":[{"event_id":"sha256:2a7423269cb0937e3a6191641a582c86063488677f9dda525bf1055011b10683","target":"graph","created_at":"2026-07-05T05:21:01Z","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/2206.09551/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rise of AI methods to make predictions and decisions has led to a pressing need for more explainable artificial intelligence (XAI) methods. One common approach for XAI is to produce a post-hoc explanation, explaining why a black box ML model made a certain prediction. Formal approaches to post-hoc explanations provide succinct reasons for why a prediction was made, as well as why not another prediction was made. But these approaches assume that features are independent and uniformly distributed. While this means that \"why\" explanations are correct, they may be longer than required. It also","authors_text":"Alexey Ignatiev, Jinqiang Yu, Joao Marques-Silva, Nina Narodytska, Peter J. Stuckey","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-06-20T03:18:14Z","title":"Eliminating The Impossible, Whatever Remains Must Be True"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.09551","kind":"arxiv","version":2},"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:7b8760b799aef7bdca2885fc882fcd1c087449774cc1de9836e4f0dcdae9bdd4","target":"record","created_at":"2026-07-05T05:21:01Z","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":"5b12200ad307d1f2090a5e292a9d8817fa7a2590b7e41a9e0157019bef72b4c9","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-06-20T03:18:14Z","title_canon_sha256":"455d114c85763f0b356363b3e6ac631e9dce26594d0c34c80d8962eb20b93a34"},"schema_version":"1.0","source":{"id":"2206.09551","kind":"arxiv","version":2}},"canonical_sha256":"f4a550c347521835c7409df0e2d2d1c3cc016b8fbfc02287483629c1986b30a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4a550c347521835c7409df0e2d2d1c3cc016b8fbfc02287483629c1986b30a5","first_computed_at":"2026-07-05T05:21:01.806437Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:21:01.806437Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9dEuCKNRyQEiS7TStWhYHRD222GN1ZVg91FudEbQJZlrOCK9z5f7LdBQHgNWLv2Je1ChYzH98FcdRgYsx87MCw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:21:01.806872Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.09551","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b8760b799aef7bdca2885fc882fcd1c087449774cc1de9836e4f0dcdae9bdd4","sha256:2a7423269cb0937e3a6191641a582c86063488677f9dda525bf1055011b10683"],"state_sha256":"5ad00d90a185501300dbf574da0db004a28e321e2d8bbafbc5bc51102fbb55fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TagOcmauKojeKT/X1WEDTtW5KdC2ZRYSr3ASIPJTei9qzBSpPUx+qdjmF8FfbV5IynHHvSbsP6Bw7SZKLMsvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T22:25:23.941356Z","bundle_sha256":"70bed532fd8d0434d6830bf6f055c007b428ad5a216d764b392974f7882d2f0f"}}