{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:LVUSEL3RPGEGJ37T3P6RNK3BLZ","short_pith_number":"pith:LVUSEL3R","canonical_record":{"source":{"id":"2405.02936","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-05T13:56:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"582010bda5a391fa0871542f387c55bcce7f20bdc0b2511d9ed9d04e05e70a65","abstract_canon_sha256":"05351fe1ccfe2f9fcbc651491abd26fcf383e2a737b8718a6f1ff3d9faf2ce05"},"schema_version":"1.0"},"canonical_sha256":"5d69222f71798864eff3dbfd16ab615e62cf4ed222dca4db3537ff23716501d5","source":{"kind":"arxiv","id":"2405.02936","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.02936","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2405.02936v2","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.02936","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"LVUSEL3RPGEG","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"LVUSEL3RPGEGJ37T","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"LVUSEL3R","created_at":"2026-07-05T08:22:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:LVUSEL3RPGEGJ37T3P6RNK3BLZ","target":"record","payload":{"canonical_record":{"source":{"id":"2405.02936","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-05T13:56:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"582010bda5a391fa0871542f387c55bcce7f20bdc0b2511d9ed9d04e05e70a65","abstract_canon_sha256":"05351fe1ccfe2f9fcbc651491abd26fcf383e2a737b8718a6f1ff3d9faf2ce05"},"schema_version":"1.0"},"canonical_sha256":"5d69222f71798864eff3dbfd16ab615e62cf4ed222dca4db3537ff23716501d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:22:55.977130Z","signature_b64":"ObPKkMx7R9LOq2qUuuFZCB8dP3A7NbKVKkDm/psn7s9dSKFbpVLKzNYKEjwFQaxGwU1Ss1mevfsHqqE4MZNXBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d69222f71798864eff3dbfd16ab615e62cf4ed222dca4db3537ff23716501d5","last_reissued_at":"2026-07-05T08:22:55.976686Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:22:55.976686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.02936","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-05T08:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iqxDcb3d9UwZz/jiJ0ZLG9yQE3yqFwmhDICg2ThZdcza4wxD3nDQZmlMLroqJJkGAx+fo3Ez0uXWtggrB+ryAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:32:11.454826Z"},"content_sha256":"f36aaa16b4d7240c706fdef67861a5c065f44a6e8ffce309deb2c11f54623137","schema_version":"1.0","event_id":"sha256:f36aaa16b4d7240c706fdef67861a5c065f44a6e8ffce309deb2c11f54623137"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:LVUSEL3RPGEGJ37T3P6RNK3BLZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Tractability of SHAP Explanations under Markovian Distributions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Colin de la Higuera, Reda Marzouk","submitted_at":"2024-05-05T13:56:12Z","abstract_excerpt":"Thanks to its solid theoretical foundation, the SHAP framework is arguably one the most widely utilized frameworks for local explainability of ML models. Despite its popularity, its exact computation is known to be very challenging, proven to be NP-Hard in various configurations. Recent works have unveiled positive complexity results regarding the computation of the SHAP score for specific model families, encompassing decision trees, random forests, and some classes of boolean circuits. Yet, all these positive results hinge on the assumption of feature independence, often simplistic in real-wo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.02936","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/2405.02936/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-05T08:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3lJ04gJN+TJrWVdJxR0wLujOfcSzepJuZ7v+2/p7zcWrvG4oZStmSsXBpmICy/L8Wp7x/LHWkQ9LT4YNt6ciCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:32:11.455194Z"},"content_sha256":"faea3d147a22626ea6de0772275ec276db7e50496bf04f10e78e01749053d648","schema_version":"1.0","event_id":"sha256:faea3d147a22626ea6de0772275ec276db7e50496bf04f10e78e01749053d648"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/bundle.json","state_url":"https://pith.science/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/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-07-07T04:32:11Z","links":{"resolver":"https://pith.science/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ","bundle":"https://pith.science/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/bundle.json","state":"https://pith.science/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LVUSEL3RPGEGJ37T3P6RNK3BLZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:LVUSEL3RPGEGJ37T3P6RNK3BLZ","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":"05351fe1ccfe2f9fcbc651491abd26fcf383e2a737b8718a6f1ff3d9faf2ce05","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-05T13:56:12Z","title_canon_sha256":"582010bda5a391fa0871542f387c55bcce7f20bdc0b2511d9ed9d04e05e70a65"},"schema_version":"1.0","source":{"id":"2405.02936","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.02936","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2405.02936v2","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.02936","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"LVUSEL3RPGEG","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"LVUSEL3RPGEGJ37T","created_at":"2026-07-05T08:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"LVUSEL3R","created_at":"2026-07-05T08:22:55Z"}],"graph_snapshots":[{"event_id":"sha256:faea3d147a22626ea6de0772275ec276db7e50496bf04f10e78e01749053d648","target":"graph","created_at":"2026-07-05T08:22:55Z","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/2405.02936/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Thanks to its solid theoretical foundation, the SHAP framework is arguably one the most widely utilized frameworks for local explainability of ML models. Despite its popularity, its exact computation is known to be very challenging, proven to be NP-Hard in various configurations. Recent works have unveiled positive complexity results regarding the computation of the SHAP score for specific model families, encompassing decision trees, random forests, and some classes of boolean circuits. Yet, all these positive results hinge on the assumption of feature independence, often simplistic in real-wo","authors_text":"Colin de la Higuera, Reda Marzouk","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-05T13:56:12Z","title":"On the Tractability of SHAP Explanations under Markovian Distributions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.02936","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:f36aaa16b4d7240c706fdef67861a5c065f44a6e8ffce309deb2c11f54623137","target":"record","created_at":"2026-07-05T08:22:55Z","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":"05351fe1ccfe2f9fcbc651491abd26fcf383e2a737b8718a6f1ff3d9faf2ce05","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-05T13:56:12Z","title_canon_sha256":"582010bda5a391fa0871542f387c55bcce7f20bdc0b2511d9ed9d04e05e70a65"},"schema_version":"1.0","source":{"id":"2405.02936","kind":"arxiv","version":2}},"canonical_sha256":"5d69222f71798864eff3dbfd16ab615e62cf4ed222dca4db3537ff23716501d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d69222f71798864eff3dbfd16ab615e62cf4ed222dca4db3537ff23716501d5","first_computed_at":"2026-07-05T08:22:55.976686Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:22:55.976686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ObPKkMx7R9LOq2qUuuFZCB8dP3A7NbKVKkDm/psn7s9dSKFbpVLKzNYKEjwFQaxGwU1Ss1mevfsHqqE4MZNXBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:22:55.977130Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.02936","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f36aaa16b4d7240c706fdef67861a5c065f44a6e8ffce309deb2c11f54623137","sha256:faea3d147a22626ea6de0772275ec276db7e50496bf04f10e78e01749053d648"],"state_sha256":"b08f694e8c780fc1d91e139139e46233a1b566894e5ce1c3980eb6b2d143982e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o8P1tB6E4CMEi+LekQK9BHKCCicmRWK9mTy3gQ9ySR8FpmLnAtaRxHDqjpoE7dnw1wekWTk4dLfiTiphOwbkDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:32:11.457137Z","bundle_sha256":"5ead0cded1cf1ac825c475439e51d576c1399cb23847c16f6362296519829bec"}}