{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7DEODZIXCGZCBWAJBT5RHKJOA5","short_pith_number":"pith:7DEODZIX","canonical_record":{"source":{"id":"1812.01843","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-05T07:40:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4afbb096c0cdc1517f6283eddba71c5c6ccc55f4e986e9a824e808a82839c6f2","abstract_canon_sha256":"f49e8f1c993b08b8b9019e8395b99a9a0ebda50f13ea01e5bec3c98694a42c2c"},"schema_version":"1.0"},"canonical_sha256":"f8c8e1e51711b220d8090cfb13a92e077bb31d3aa3faab04a66381c771e7d3a7","source":{"kind":"arxiv","id":"1812.01843","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01843","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01843v1","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01843","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"pith_short_12","alias_value":"7DEODZIXCGZC","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7DEODZIXCGZCBWAJ","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7DEODZIX","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7DEODZIXCGZCBWAJBT5RHKJOA5","target":"record","payload":{"canonical_record":{"source":{"id":"1812.01843","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-05T07:40:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4afbb096c0cdc1517f6283eddba71c5c6ccc55f4e986e9a824e808a82839c6f2","abstract_canon_sha256":"f49e8f1c993b08b8b9019e8395b99a9a0ebda50f13ea01e5bec3c98694a42c2c"},"schema_version":"1.0"},"canonical_sha256":"f8c8e1e51711b220d8090cfb13a92e077bb31d3aa3faab04a66381c771e7d3a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:00.497669Z","signature_b64":"4gfWUE+W1ZXhOdDN9kOyVVDbFx/E8EA8QwEzKPFD3LIEcGdWm+wK1MCTknUtDDW4hrwHp6Z55zIaWaUKJntpAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8c8e1e51711b220d8090cfb13a92e077bb31d3aa3faab04a66381c771e7d3a7","last_reissued_at":"2026-05-17T23:59:00.497042Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:00.497042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.01843","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:59:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XENXRqSEyQTuNWL92O7To8E4xFy7OXlDQbV+N8gT2wQs6wbhCCLyHAG7XFj4wmCDVU3n8sx8a2ByCiGLnAWXCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T15:00:51.498615Z"},"content_sha256":"195e476aceac8c932c9aeeff0223cabad7c19434ea2e1e39278da9e40c338c4d","schema_version":"1.0","event_id":"sha256:195e476aceac8c932c9aeeff0223cabad7c19434ea2e1e39278da9e40c338c4d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7DEODZIXCGZCBWAJBT5RHKJOA5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MLIC: A MaxSAT-Based framework for learning interpretable classification rules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Dmitry Malioutov, Kuldeep S. Meel","submitted_at":"2018-12-05T07:40:32Z","abstract_excerpt":"The wide adoption of machine learning approaches in the industry, government, medicine and science has renewed the interest in interpretable machine learning: many decisions are too important to be delegated to black-box techniques such as deep neural networks or kernel SVMs. Historically, problems of learning interpretable classifiers, including classification rules or decision trees, have been approached by greedy heuristic methods as essentially all the exact optimization formulations are NP-hard. Our primary contribution is a MaxSAT-based framework, called MLIC, which allows principled sea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01843","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:59:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BA0zg5T7sXfjnvl11ftKcYoRxxJAGicNCLyI4Q2i1lfEUEUcZ+sKPZLh1NZw4gEpMbH/BCoav7jHhCDnPRQABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T15:00:51.499345Z"},"content_sha256":"a77141ed79119762e5972c6c73ab97a39999c72f5139f1eec0945751cb09fdbd","schema_version":"1.0","event_id":"sha256:a77141ed79119762e5972c6c73ab97a39999c72f5139f1eec0945751cb09fdbd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/bundle.json","state_url":"https://pith.science/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/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-05-23T15:00:51Z","links":{"resolver":"https://pith.science/pith/7DEODZIXCGZCBWAJBT5RHKJOA5","bundle":"https://pith.science/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/bundle.json","state":"https://pith.science/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7DEODZIXCGZCBWAJBT5RHKJOA5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7DEODZIXCGZCBWAJBT5RHKJOA5","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":"f49e8f1c993b08b8b9019e8395b99a9a0ebda50f13ea01e5bec3c98694a42c2c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-05T07:40:32Z","title_canon_sha256":"4afbb096c0cdc1517f6283eddba71c5c6ccc55f4e986e9a824e808a82839c6f2"},"schema_version":"1.0","source":{"id":"1812.01843","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01843","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01843v1","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01843","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"pith_short_12","alias_value":"7DEODZIXCGZC","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7DEODZIXCGZCBWAJ","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7DEODZIX","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:a77141ed79119762e5972c6c73ab97a39999c72f5139f1eec0945751cb09fdbd","target":"graph","created_at":"2026-05-17T23:59:00Z","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":"The wide adoption of machine learning approaches in the industry, government, medicine and science has renewed the interest in interpretable machine learning: many decisions are too important to be delegated to black-box techniques such as deep neural networks or kernel SVMs. Historically, problems of learning interpretable classifiers, including classification rules or decision trees, have been approached by greedy heuristic methods as essentially all the exact optimization formulations are NP-hard. Our primary contribution is a MaxSAT-based framework, called MLIC, which allows principled sea","authors_text":"Dmitry Malioutov, Kuldeep S. Meel","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-05T07:40:32Z","title":"MLIC: A MaxSAT-Based framework for learning interpretable classification rules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01843","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:195e476aceac8c932c9aeeff0223cabad7c19434ea2e1e39278da9e40c338c4d","target":"record","created_at":"2026-05-17T23:59:00Z","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":"f49e8f1c993b08b8b9019e8395b99a9a0ebda50f13ea01e5bec3c98694a42c2c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-05T07:40:32Z","title_canon_sha256":"4afbb096c0cdc1517f6283eddba71c5c6ccc55f4e986e9a824e808a82839c6f2"},"schema_version":"1.0","source":{"id":"1812.01843","kind":"arxiv","version":1}},"canonical_sha256":"f8c8e1e51711b220d8090cfb13a92e077bb31d3aa3faab04a66381c771e7d3a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8c8e1e51711b220d8090cfb13a92e077bb31d3aa3faab04a66381c771e7d3a7","first_computed_at":"2026-05-17T23:59:00.497042Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:00.497042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4gfWUE+W1ZXhOdDN9kOyVVDbFx/E8EA8QwEzKPFD3LIEcGdWm+wK1MCTknUtDDW4hrwHp6Z55zIaWaUKJntpAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:00.497669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.01843","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:195e476aceac8c932c9aeeff0223cabad7c19434ea2e1e39278da9e40c338c4d","sha256:a77141ed79119762e5972c6c73ab97a39999c72f5139f1eec0945751cb09fdbd"],"state_sha256":"94972761cdb057141812cb4c92cb15f3d221140913b81fa5dcbd68ba17591921"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FdSwAlKje6wWNZKK2Bs7cYoZOcp6DDUzAAZ1MqKnOruzdggLhMIqnQV9ics4jMgqrD5uP8vj4HufqtdKcYbqDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T15:00:51.505425Z","bundle_sha256":"40f9b8d531b81dadc3c5ea88ea4af71fec91c2f8b72819a9cad6fc507810b200"}}