{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:D3GYSR3QEIVA7LDILHZCC7WRXX","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":"fcd6a369a9290151d9e9ead221b3386cb7e3314a444ca8b08de0984c3429c1dd","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-07T04:20:36Z","title_canon_sha256":"919a3eb061482e3881c38dfb658196fa802d268a902e66e592fd71c75bf2f4b7"},"schema_version":"1.0","source":{"id":"2307.03380","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.03380","created_at":"2026-07-05T06:45:18Z"},{"alias_kind":"arxiv_version","alias_value":"2307.03380v3","created_at":"2026-07-05T06:45:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.03380","created_at":"2026-07-05T06:45:18Z"},{"alias_kind":"pith_short_12","alias_value":"D3GYSR3QEIVA","created_at":"2026-07-05T06:45:18Z"},{"alias_kind":"pith_short_16","alias_value":"D3GYSR3QEIVA7LDI","created_at":"2026-07-05T06:45:18Z"},{"alias_kind":"pith_short_8","alias_value":"D3GYSR3Q","created_at":"2026-07-05T06:45:18Z"}],"graph_snapshots":[{"event_id":"sha256:cc2f76ca97ff506e7ff525228cbbe5739552ed7148db50db0974df8f5dab44d6","target":"graph","created_at":"2026-07-05T06:45: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/2307.03380/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent years have witnessed the widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models. Despite their tremendous success, a number of vital problems like ML model brittleness, their fairness, and the lack of interpretability warrant the need for the active developments in explainable artificial intelligence (XAI) and formal ML model verification. The two major lines of work in XAI include feature selection methods, e.g. Anchors, and feature attribution techniques, e.g. LIME and SHAP. Despite their promise, most of the existing feature selection and attributi","authors_text":"Alexey Ignatiev, 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-07-07T04:20:36Z","title":"On Formal Feature Attribution and Its Approximation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.03380","kind":"arxiv","version":3},"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:92a201903b32d2eef15fac7e1abd6de4b3c3654e21b6884d60715fb9740eba0e","target":"record","created_at":"2026-07-05T06:45: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":"fcd6a369a9290151d9e9ead221b3386cb7e3314a444ca8b08de0984c3429c1dd","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-07T04:20:36Z","title_canon_sha256":"919a3eb061482e3881c38dfb658196fa802d268a902e66e592fd71c75bf2f4b7"},"schema_version":"1.0","source":{"id":"2307.03380","kind":"arxiv","version":3}},"canonical_sha256":"1ecd894770222a0fac6859f2217ed1bdebafac210f8ea71cdfb6198da924a31a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ecd894770222a0fac6859f2217ed1bdebafac210f8ea71cdfb6198da924a31a","first_computed_at":"2026-07-05T06:45:18.689192Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:45:18.689192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uxr+JSq6GUN/6u+QFTCJ7PTDsasUlc29IjrV2f2nPrmnjOIBPeXNGLRFZsBGNOtSY9+MTc6i27JlU94/XvkUBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:45:18.689689Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.03380","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92a201903b32d2eef15fac7e1abd6de4b3c3654e21b6884d60715fb9740eba0e","sha256:cc2f76ca97ff506e7ff525228cbbe5739552ed7148db50db0974df8f5dab44d6"],"state_sha256":"6270a8186c1a4bc3e7c9c78b538c52012fae6b01dec3828cdd3c4e48cdd872b4"}