{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KTZCMIMCCXS56BGTRSTPOZLG4Z","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":"b287e2579709fc4c49f50c18c2d842426137ecad0e2ad642ed8a29fe8ac5a9ab","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-12-12T04:24:05Z","title_canon_sha256":"592ad777fc8c7c459f6f2fc9fbb445ba688ad6b275a9c51e3ad44f7ee95d0eff"},"schema_version":"1.0","source":{"id":"2312.06973","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06973","created_at":"2026-07-05T07:23:12Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06973v1","created_at":"2026-07-05T07:23:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06973","created_at":"2026-07-05T07:23:12Z"},{"alias_kind":"pith_short_12","alias_value":"KTZCMIMCCXS5","created_at":"2026-07-05T07:23:12Z"},{"alias_kind":"pith_short_16","alias_value":"KTZCMIMCCXS56BGT","created_at":"2026-07-05T07:23:12Z"},{"alias_kind":"pith_short_8","alias_value":"KTZCMIMC","created_at":"2026-07-05T07:23:12Z"}],"graph_snapshots":[{"event_id":"sha256:c02f9a46e6759b96c352918d3935ec027fde674cd1c534a8aecf0b91e305826c","target":"graph","created_at":"2026-07-05T07:23: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/2312.06973/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models on the one hand and a number of crucial issues pertaining to them warrant the need for explainable artificial intelligence (XAI). A key explainability question is: given this decision was made, what are the input features which contributed to the decision? Although a range of XAI approaches exist to tackle this problem, most of them have significant limitations. Heuristic XAI approaches suffer from the lack of quality guarantees, and often try to approximate Shapley values, which is not the same as expla","authors_text":"Alexey Ignatiev, Graham Farr, Jinqiang Yu, 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":"2023-12-12T04:24:05Z","title":"Anytime Approximate Formal Feature Attribution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06973","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:a302e285bfb899854a9aa06edb0f61fcd97c34bacf18a03b1cf97cfc3681c1f7","target":"record","created_at":"2026-07-05T07:23: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":"b287e2579709fc4c49f50c18c2d842426137ecad0e2ad642ed8a29fe8ac5a9ab","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-12-12T04:24:05Z","title_canon_sha256":"592ad777fc8c7c459f6f2fc9fbb445ba688ad6b275a9c51e3ad44f7ee95d0eff"},"schema_version":"1.0","source":{"id":"2312.06973","kind":"arxiv","version":1}},"canonical_sha256":"54f226218215e5df04d38ca6f76566e67a14b540e3e8a25eda8bb8f08bc25ace","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54f226218215e5df04d38ca6f76566e67a14b540e3e8a25eda8bb8f08bc25ace","first_computed_at":"2026-07-05T07:23:12.510647Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:23:12.510647Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P+XEuFU4V/PV99bYpKIHc0VmAPopJkjvh/Hv8LgXw/IAcCTeo2qIFZ/P26srwWfN7X0NGZwMgxIUNXhgS9IyAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:23:12.511059Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.06973","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a302e285bfb899854a9aa06edb0f61fcd97c34bacf18a03b1cf97cfc3681c1f7","sha256:c02f9a46e6759b96c352918d3935ec027fde674cd1c534a8aecf0b91e305826c"],"state_sha256":"d5c61bb9cd4bec59138aee8f8f07f6ec385aad0a41e2dec38241fe4fe7d77500"}