{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZNXPGUJEJKL7DWTQ6DLSUEFV3C","short_pith_number":"pith:ZNXPGUJE","canonical_record":{"source":{"id":"1808.00629","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-02T01:54:26Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"39e442159108015dc079f7092b1746a91eeadd86c4cd1943e5a2d858192998a9","abstract_canon_sha256":"6bd54a1c7c283bd3141ff6025620f583b62ca8b367267ad5442263c06d16a4c4"},"schema_version":"1.0"},"canonical_sha256":"cb6ef351244a97f1da70f0d72a10b5d8a7beec7aef3faaa94c099f112017191c","source":{"kind":"arxiv","id":"1808.00629","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00629","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00629v2","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00629","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZNXPGUJEJKL7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZNXPGUJEJKL7DWTQ","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZNXPGUJE","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZNXPGUJEJKL7DWTQ6DLSUEFV3C","target":"record","payload":{"canonical_record":{"source":{"id":"1808.00629","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-02T01:54:26Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"39e442159108015dc079f7092b1746a91eeadd86c4cd1943e5a2d858192998a9","abstract_canon_sha256":"6bd54a1c7c283bd3141ff6025620f583b62ca8b367267ad5442263c06d16a4c4"},"schema_version":"1.0"},"canonical_sha256":"cb6ef351244a97f1da70f0d72a10b5d8a7beec7aef3faaa94c099f112017191c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:14.745564Z","signature_b64":"Ais5weZKutw8/kok11o2p4xqwc/3pAEDHlp1gd5rJRgNrLlyvu1ZqT7PyEflaH5Cmi2elrsSGFtCVhdlxzY2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb6ef351244a97f1da70f0d72a10b5d8a7beec7aef3faaa94c099f112017191c","last_reissued_at":"2026-05-18T00:01:14.745183Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:14.745183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.00629","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-05-18T00:01:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FGj5BI3tGZyaagOJND2t+XwAQXZp7RCVyVa+V4IRW7K08ALK+Rag3n6CetbkXWymqM75Oc5cNbU5hUuIQXyiDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T15:30:52.775679Z"},"content_sha256":"385dc3eb1968f23c32420b5f08bb9b9ad343294a9403189fa8b8e1a46917f33b","schema_version":"1.0","event_id":"sha256:385dc3eb1968f23c32420b5f08bb9b9ad343294a9403189fa8b8e1a46917f33b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZNXPGUJEJKL7DWTQ6DLSUEFV3C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Farhad Shakerin, Gopal Gupta","submitted_at":"2018-08-02T01:54:26Z","abstract_excerpt":"We present a heuristic based algorithm to induce \\textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers. We use the technique based on the LIME approach to locally select the most important features contributing to the classification decision. Then, in order to explain the model's global behavior, we propose the LIME-FOLD algorithm ---a heuristic-based inductive logic programming (ILP) algorithm capable of learning non-monotonic logic programs---that we apply to a transformed dataset produced by LIME. Our proposed approach is agnostic to the choice o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00629","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":""},"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-18T00:01:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dEZAW8byaTJXrHbBLT9hIEyiU9pwghfCvGp+wMc2waVnkyWFztGiRi4fAquI9IxAV3j9Xt5JkEUZowZTpnb3Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T15:30:52.776279Z"},"content_sha256":"d29abb024840138b6804b18a7d33ee4227a2e73679466f54173f4bb48b229b45","schema_version":"1.0","event_id":"sha256:d29abb024840138b6804b18a7d33ee4227a2e73679466f54173f4bb48b229b45"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/bundle.json","state_url":"https://pith.science/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/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-27T15:30:52Z","links":{"resolver":"https://pith.science/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C","bundle":"https://pith.science/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/bundle.json","state":"https://pith.science/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZNXPGUJEJKL7DWTQ6DLSUEFV3C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZNXPGUJEJKL7DWTQ6DLSUEFV3C","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":"6bd54a1c7c283bd3141ff6025620f583b62ca8b367267ad5442263c06d16a4c4","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-02T01:54:26Z","title_canon_sha256":"39e442159108015dc079f7092b1746a91eeadd86c4cd1943e5a2d858192998a9"},"schema_version":"1.0","source":{"id":"1808.00629","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00629","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00629v2","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00629","created_at":"2026-05-18T00:01:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZNXPGUJEJKL7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZNXPGUJEJKL7DWTQ","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZNXPGUJE","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:d29abb024840138b6804b18a7d33ee4227a2e73679466f54173f4bb48b229b45","target":"graph","created_at":"2026-05-18T00:01:14Z","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":"We present a heuristic based algorithm to induce \\textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers. We use the technique based on the LIME approach to locally select the most important features contributing to the classification decision. Then, in order to explain the model's global behavior, we propose the LIME-FOLD algorithm ---a heuristic-based inductive logic programming (ILP) algorithm capable of learning non-monotonic logic programs---that we apply to a transformed dataset produced by LIME. Our proposed approach is agnostic to the choice o","authors_text":"Farhad Shakerin, Gopal Gupta","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-02T01:54:26Z","title":"Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00629","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:385dc3eb1968f23c32420b5f08bb9b9ad343294a9403189fa8b8e1a46917f33b","target":"record","created_at":"2026-05-18T00:01:14Z","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":"6bd54a1c7c283bd3141ff6025620f583b62ca8b367267ad5442263c06d16a4c4","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-02T01:54:26Z","title_canon_sha256":"39e442159108015dc079f7092b1746a91eeadd86c4cd1943e5a2d858192998a9"},"schema_version":"1.0","source":{"id":"1808.00629","kind":"arxiv","version":2}},"canonical_sha256":"cb6ef351244a97f1da70f0d72a10b5d8a7beec7aef3faaa94c099f112017191c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb6ef351244a97f1da70f0d72a10b5d8a7beec7aef3faaa94c099f112017191c","first_computed_at":"2026-05-18T00:01:14.745183Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:14.745183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ais5weZKutw8/kok11o2p4xqwc/3pAEDHlp1gd5rJRgNrLlyvu1ZqT7PyEflaH5Cmi2elrsSGFtCVhdlxzY2BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:14.745564Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.00629","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:385dc3eb1968f23c32420b5f08bb9b9ad343294a9403189fa8b8e1a46917f33b","sha256:d29abb024840138b6804b18a7d33ee4227a2e73679466f54173f4bb48b229b45"],"state_sha256":"3b1fc4494f416d7889c7286801b79825d57e03beb5a57d3a474c2b5f78be11ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NQzWlh1+2Frs3jVfpNCeoC6EWYNBA9BJLfsv67jlUbz+M+oRD4spT1U5wwQaIJvV+Fv6KU4XgUOuWexcBb1IDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T15:30:52.779627Z","bundle_sha256":"2a54e7ac26aa7b8567410570f50d8633158b22dca6ef1c79cc10042d3e0e2663"}}