{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:BCNEIH4CRI46Z64DS3S332GJZQ","short_pith_number":"pith:BCNEIH4C","schema_version":"1.0","canonical_sha256":"089a441f828a39ecfb8396e5bde8c9cc107202975b7e2fdf5bcbe271e70a2dc7","source":{"kind":"arxiv","id":"2306.14211","version":1},"attestation_state":"computed","paper":{"title":"From Shapley Value to Model Counting and Back","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.DB","authors_text":"Ahmet Kara, Dan Olteanu, Dan Suciu","submitted_at":"2023-06-25T11:23:57Z","abstract_excerpt":"In this paper we investigate the problem of quantifying the contribution of each variable to the satisfying assignments of a Boolean function based on the Shapley value.\n  Our main result is a polynomial-time equivalence between computing Shapley values and model counting for any class of Boolean functions that are closed under substitutions of variables with disjunctions of fresh variables. This result settles an open problem raised in prior work, which sought to connect the Shapley value computation to probabilistic query evaluation.\n  We show two applications of our result. First, the Shapl"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2306.14211","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-06-25T11:23:57Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"62a7a7676a926b3ccdbdd5a8f7ff850217e050a5c468a6281f477185f62c2f8e","abstract_canon_sha256":"9f9797ffb579f85530250b3b032cd9fe0e5227945acd52f371049e0336891f02"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:24:33.494252Z","signature_b64":"og2fP9T+rVh3WyDCtVhoSvzyTXcRCeo7FUWHil5eLegwHqZ5Y1Wa2lagxoqsdzkRgpmQcoQpho5si0LdY+APDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"089a441f828a39ecfb8396e5bde8c9cc107202975b7e2fdf5bcbe271e70a2dc7","last_reissued_at":"2026-07-05T06:24:33.493835Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:24:33.493835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Shapley Value to Model Counting and Back","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.DB","authors_text":"Ahmet Kara, Dan Olteanu, Dan Suciu","submitted_at":"2023-06-25T11:23:57Z","abstract_excerpt":"In this paper we investigate the problem of quantifying the contribution of each variable to the satisfying assignments of a Boolean function based on the Shapley value.\n  Our main result is a polynomial-time equivalence between computing Shapley values and model counting for any class of Boolean functions that are closed under substitutions of variables with disjunctions of fresh variables. This result settles an open problem raised in prior work, which sought to connect the Shapley value computation to probabilistic query evaluation.\n  We show two applications of our result. First, the Shapl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.14211","kind":"arxiv","version":1},"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/2306.14211/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2306.14211","created_at":"2026-07-05T06:24:33.493894+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.14211v1","created_at":"2026-07-05T06:24:33.493894+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.14211","created_at":"2026-07-05T06:24:33.493894+00:00"},{"alias_kind":"pith_short_12","alias_value":"BCNEIH4CRI46","created_at":"2026-07-05T06:24:33.493894+00:00"},{"alias_kind":"pith_short_16","alias_value":"BCNEIH4CRI46Z64D","created_at":"2026-07-05T06:24:33.493894+00:00"},{"alias_kind":"pith_short_8","alias_value":"BCNEIH4C","created_at":"2026-07-05T06:24:33.493894+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ","json":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ.json","graph_json":"https://pith.science/api/pith-number/BCNEIH4CRI46Z64DS3S332GJZQ/graph.json","events_json":"https://pith.science/api/pith-number/BCNEIH4CRI46Z64DS3S332GJZQ/events.json","paper":"https://pith.science/paper/BCNEIH4C"},"agent_actions":{"view_html":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ","download_json":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ.json","view_paper":"https://pith.science/paper/BCNEIH4C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.14211&json=true","fetch_graph":"https://pith.science/api/pith-number/BCNEIH4CRI46Z64DS3S332GJZQ/graph.json","fetch_events":"https://pith.science/api/pith-number/BCNEIH4CRI46Z64DS3S332GJZQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ/action/storage_attestation","attest_author":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ/action/author_attestation","sign_citation":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ/action/citation_signature","submit_replication":"https://pith.science/pith/BCNEIH4CRI46Z64DS3S332GJZQ/action/replication_record"}},"created_at":"2026-07-05T06:24:33.493894+00:00","updated_at":"2026-07-05T06:24:33.493894+00:00"}