{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:IBQT77HTQYHZFVK7O23ZM7CAX2","short_pith_number":"pith:IBQT77HT","canonical_record":{"source":{"id":"1901.04909","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-02T09:25:03Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"cc5d453b37a9cbf1cab524633f6044056a1797dadf45a9a3844c1163bd9beecb","abstract_canon_sha256":"f221de8aa3bf1a5f0053eaf0316a0fe78e3d604061ccb56f1c9aa2422be83c86"},"schema_version":"1.0"},"canonical_sha256":"40613ffcf3860f92d55f76b7967c40bea5e3a4fd5f5e151015e3f0c4e301366a","source":{"kind":"arxiv","id":"1901.04909","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.04909","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"arxiv_version","alias_value":"1901.04909v1","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.04909","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"pith_short_12","alias_value":"IBQT77HTQYHZ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IBQT77HTQYHZFVK7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IBQT77HT","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:IBQT77HTQYHZFVK7O23ZM7CAX2","target":"record","payload":{"canonical_record":{"source":{"id":"1901.04909","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-02T09:25:03Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"cc5d453b37a9cbf1cab524633f6044056a1797dadf45a9a3844c1163bd9beecb","abstract_canon_sha256":"f221de8aa3bf1a5f0053eaf0316a0fe78e3d604061ccb56f1c9aa2422be83c86"},"schema_version":"1.0"},"canonical_sha256":"40613ffcf3860f92d55f76b7967c40bea5e3a4fd5f5e151015e3f0c4e301366a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:21.306796Z","signature_b64":"G3gV77UC/iKIcFFNSyT40sZ46wSI3g+S2/KXsDvyxF8kzM8/fXcntDFMT9OcsyGsZxVIHsdyDFqL3uNFG1m6DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40613ffcf3860f92d55f76b7967c40bea5e3a4fd5f5e151015e3f0c4e301366a","last_reissued_at":"2026-05-17T23:56:21.306143Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:21.306143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.04909","source_version":1,"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-05-17T23:56:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w+iAUcL+Y/5tFpzJvoYIaUPJdzLTGeU5gD8D5tBFSxb6VAhyD7G99dvOZ2lBG53UsifQorS0Cyl8e7IfiRvHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:46:45.177881Z"},"content_sha256":"aeadb91436673caa5f6845b4d7a134f85d775d44a566f7defdf480f6f68a6eec","schema_version":"1.0","event_id":"sha256:aeadb91436673caa5f6845b4d7a134f85d775d44a566f7defdf480f6f68a6eec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:IBQT77HTQYHZFVK7O23ZM7CAX2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Search for Diverse Coherent Explanations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Chris Russell","submitted_at":"2019-01-02T09:25:03Z","abstract_excerpt":"This paper proposes new search algorithms for counterfactual explanations based upon mixed integer programming. We are concerned with complex data in which variables may take any value from a contiguous range or an additional set of discrete states. We propose a novel set of constraints that we refer to as a \"mixed polytope\" and show how this can be used with an integer programming solver to efficiently find coherent counterfactual explanations i.e. solutions that are guaranteed to map back onto the underlying data structure, while avoiding the need for brute-force enumeration. We also look at"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.04909","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":""},"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-05-17T23:56:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2faPtbWjMB8kdzPfEkxzvKb58QDRuM5uBLCwH0PIw6QSToA7BDm96Srx0RBfdVireEszchEPM58I773E3gimBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:46:45.178372Z"},"content_sha256":"3bfbe9d05ad02037510a4455facf3b201f348f19c8a7cbe3dde9ac0f0fb3f3a9","schema_version":"1.0","event_id":"sha256:3bfbe9d05ad02037510a4455facf3b201f348f19c8a7cbe3dde9ac0f0fb3f3a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/bundle.json","state_url":"https://pith.science/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/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-16T14:46:45Z","links":{"resolver":"https://pith.science/pith/IBQT77HTQYHZFVK7O23ZM7CAX2","bundle":"https://pith.science/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/bundle.json","state":"https://pith.science/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IBQT77HTQYHZFVK7O23ZM7CAX2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:IBQT77HTQYHZFVK7O23ZM7CAX2","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":"f221de8aa3bf1a5f0053eaf0316a0fe78e3d604061ccb56f1c9aa2422be83c86","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-02T09:25:03Z","title_canon_sha256":"cc5d453b37a9cbf1cab524633f6044056a1797dadf45a9a3844c1163bd9beecb"},"schema_version":"1.0","source":{"id":"1901.04909","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.04909","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"arxiv_version","alias_value":"1901.04909v1","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.04909","created_at":"2026-05-17T23:56:21Z"},{"alias_kind":"pith_short_12","alias_value":"IBQT77HTQYHZ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IBQT77HTQYHZFVK7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IBQT77HT","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:3bfbe9d05ad02037510a4455facf3b201f348f19c8a7cbe3dde9ac0f0fb3f3a9","target":"graph","created_at":"2026-05-17T23:56:21Z","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"},"paper":{"abstract_excerpt":"This paper proposes new search algorithms for counterfactual explanations based upon mixed integer programming. We are concerned with complex data in which variables may take any value from a contiguous range or an additional set of discrete states. We propose a novel set of constraints that we refer to as a \"mixed polytope\" and show how this can be used with an integer programming solver to efficiently find coherent counterfactual explanations i.e. solutions that are guaranteed to map back onto the underlying data structure, while avoiding the need for brute-force enumeration. We also look at","authors_text":"Chris Russell","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-02T09:25:03Z","title":"Efficient Search for Diverse Coherent Explanations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.04909","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:aeadb91436673caa5f6845b4d7a134f85d775d44a566f7defdf480f6f68a6eec","target":"record","created_at":"2026-05-17T23:56:21Z","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":"f221de8aa3bf1a5f0053eaf0316a0fe78e3d604061ccb56f1c9aa2422be83c86","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-02T09:25:03Z","title_canon_sha256":"cc5d453b37a9cbf1cab524633f6044056a1797dadf45a9a3844c1163bd9beecb"},"schema_version":"1.0","source":{"id":"1901.04909","kind":"arxiv","version":1}},"canonical_sha256":"40613ffcf3860f92d55f76b7967c40bea5e3a4fd5f5e151015e3f0c4e301366a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"40613ffcf3860f92d55f76b7967c40bea5e3a4fd5f5e151015e3f0c4e301366a","first_computed_at":"2026-05-17T23:56:21.306143Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:21.306143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G3gV77UC/iKIcFFNSyT40sZ46wSI3g+S2/KXsDvyxF8kzM8/fXcntDFMT9OcsyGsZxVIHsdyDFqL3uNFG1m6DA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:21.306796Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.04909","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aeadb91436673caa5f6845b4d7a134f85d775d44a566f7defdf480f6f68a6eec","sha256:3bfbe9d05ad02037510a4455facf3b201f348f19c8a7cbe3dde9ac0f0fb3f3a9"],"state_sha256":"78a3848c38ac71a737a6db180dcac863669d6f58b531ad099b4fd014fda07004"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AUBUTbH/q8Mex9fv5tmF3i62haSnA3h6gVLEmtdgdCVqGezy6pDwZqatITTTWUi8dGavjCJlmkz/Ee6g+suVCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T14:46:45.183013Z","bundle_sha256":"de1d12545365276ba72117a7229d8490312fb5e97a8ace202a5f1e20b991099d"}}