{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:5I2CXUXLLUCGPHWFY2MJJFOEDD","short_pith_number":"pith:5I2CXUXL","canonical_record":{"source":{"id":"2111.05711","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-11-10T14:44:19Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"cc6f340dd0de6b9b256b86aeed6c4d2731d24ddb28b0523dcd47b4df1f5d2b2a","abstract_canon_sha256":"f0be30c7ff6ad5195ea355b7c8440278773fdd43244cf17d6523155cb1f714ef"},"schema_version":"1.0"},"canonical_sha256":"ea342bd2eb5d04679ec5c6989495c418dda9ebf8ec460bcf779d30178d914c22","source":{"kind":"arxiv","id":"2111.05711","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.05711","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"arxiv_version","alias_value":"2111.05711v1","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.05711","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_12","alias_value":"5I2CXUXLLUCG","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_16","alias_value":"5I2CXUXLLUCGPHWF","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_8","alias_value":"5I2CXUXL","created_at":"2026-07-05T03:30:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:5I2CXUXLLUCGPHWFY2MJJFOEDD","target":"record","payload":{"canonical_record":{"source":{"id":"2111.05711","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-11-10T14:44:19Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"cc6f340dd0de6b9b256b86aeed6c4d2731d24ddb28b0523dcd47b4df1f5d2b2a","abstract_canon_sha256":"f0be30c7ff6ad5195ea355b7c8440278773fdd43244cf17d6523155cb1f714ef"},"schema_version":"1.0"},"canonical_sha256":"ea342bd2eb5d04679ec5c6989495c418dda9ebf8ec460bcf779d30178d914c22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:30:47.327465Z","signature_b64":"lmfnr92ozwNO8Ekr3N/2RnDKpncO3a7itgYOqlH6DE3RSt5l23Bm7V/lpb0020vydNtlVIvpV2R5kh/Hjq+DBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea342bd2eb5d04679ec5c6989495c418dda9ebf8ec460bcf779d30178d914c22","last_reissued_at":"2026-07-05T03:30:47.327000Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:30:47.327000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.05711","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-07-05T03:30:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qX1pUI0MNVRDyhW0DU6sGLxkMrMlEBAKzz6E4Bg8DuHoUWq9KiIK+nzd0bo16IpMlehbrcAP5RIDdXaba6GZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T12:28:31.436387Z"},"content_sha256":"90e98b814b633dd79455b701646be211874fd935b434b4d0f5d8e6395f981b83","schema_version":"1.0","event_id":"sha256:90e98b814b633dd79455b701646be211874fd935b434b4d0f5d8e6395f981b83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:5I2CXUXLLUCGPHWFY2MJJFOEDD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Counterfactual Explanations for Models of Code","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Isil Dillig, J\\\"urgen Cito, Satish Chandra, Vijayaraghavan Murali","submitted_at":"2021-11-10T14:44:19Z","abstract_excerpt":"Machine learning (ML) models play an increasingly prevalent role in many software engineering tasks. However, because most models are now powered by opaque deep neural networks, it can be difficult for developers to understand why the model came to a certain conclusion and how to act upon the model's prediction. Motivated by this problem, this paper explores counterfactual explanations for models of source code. Such counterfactual explanations constitute minimal changes to the source code under which the model \"changes its mind\". We integrate counterfactual explanation generation to models of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.05711","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/2111.05711/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-05T03:30:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"logavyLBZpxorFfBJLTom7D1tsTwv98opWoy9fVyfUIdAkcL6mY2rOfQZkw5HW22ooYNNQFljy1fajbcD0+UAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T12:28:31.436944Z"},"content_sha256":"1b77d4a3c989dd25d52eefefee7de1c96bcc0a1f5c62168e9a4519f59a12c0ab","schema_version":"1.0","event_id":"sha256:1b77d4a3c989dd25d52eefefee7de1c96bcc0a1f5c62168e9a4519f59a12c0ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/bundle.json","state_url":"https://pith.science/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/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-09T12:28:31Z","links":{"resolver":"https://pith.science/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD","bundle":"https://pith.science/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/bundle.json","state":"https://pith.science/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5I2CXUXLLUCGPHWFY2MJJFOEDD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5I2CXUXLLUCGPHWFY2MJJFOEDD","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":"f0be30c7ff6ad5195ea355b7c8440278773fdd43244cf17d6523155cb1f714ef","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-11-10T14:44:19Z","title_canon_sha256":"cc6f340dd0de6b9b256b86aeed6c4d2731d24ddb28b0523dcd47b4df1f5d2b2a"},"schema_version":"1.0","source":{"id":"2111.05711","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.05711","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"arxiv_version","alias_value":"2111.05711v1","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.05711","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_12","alias_value":"5I2CXUXLLUCG","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_16","alias_value":"5I2CXUXLLUCGPHWF","created_at":"2026-07-05T03:30:47Z"},{"alias_kind":"pith_short_8","alias_value":"5I2CXUXL","created_at":"2026-07-05T03:30:47Z"}],"graph_snapshots":[{"event_id":"sha256:1b77d4a3c989dd25d52eefefee7de1c96bcc0a1f5c62168e9a4519f59a12c0ab","target":"graph","created_at":"2026-07-05T03:30:47Z","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/2111.05711/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Machine learning (ML) models play an increasingly prevalent role in many software engineering tasks. However, because most models are now powered by opaque deep neural networks, it can be difficult for developers to understand why the model came to a certain conclusion and how to act upon the model's prediction. Motivated by this problem, this paper explores counterfactual explanations for models of source code. Such counterfactual explanations constitute minimal changes to the source code under which the model \"changes its mind\". We integrate counterfactual explanation generation to models of","authors_text":"Isil Dillig, J\\\"urgen Cito, Satish Chandra, Vijayaraghavan Murali","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-11-10T14:44:19Z","title":"Counterfactual Explanations for Models of Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.05711","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:90e98b814b633dd79455b701646be211874fd935b434b4d0f5d8e6395f981b83","target":"record","created_at":"2026-07-05T03:30:47Z","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":"f0be30c7ff6ad5195ea355b7c8440278773fdd43244cf17d6523155cb1f714ef","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-11-10T14:44:19Z","title_canon_sha256":"cc6f340dd0de6b9b256b86aeed6c4d2731d24ddb28b0523dcd47b4df1f5d2b2a"},"schema_version":"1.0","source":{"id":"2111.05711","kind":"arxiv","version":1}},"canonical_sha256":"ea342bd2eb5d04679ec5c6989495c418dda9ebf8ec460bcf779d30178d914c22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea342bd2eb5d04679ec5c6989495c418dda9ebf8ec460bcf779d30178d914c22","first_computed_at":"2026-07-05T03:30:47.327000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:30:47.327000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lmfnr92ozwNO8Ekr3N/2RnDKpncO3a7itgYOqlH6DE3RSt5l23Bm7V/lpb0020vydNtlVIvpV2R5kh/Hjq+DBg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:30:47.327465Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.05711","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90e98b814b633dd79455b701646be211874fd935b434b4d0f5d8e6395f981b83","sha256:1b77d4a3c989dd25d52eefefee7de1c96bcc0a1f5c62168e9a4519f59a12c0ab"],"state_sha256":"d5c6b3b8137217befac00c737cbf6fd74bbeb19969ef1629a538264ddcd3c3b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mj+pS7EJicic1Lcr5CQSMDXYiDI809tG6F2v3XhLlQ4yzzs/PUNeJAqZD8SexiWwbBu6+53WmVfLChfVxhZOCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T12:28:31.442489Z","bundle_sha256":"68feaa38a12a177cceba1cd39b0489fb8708d4c641354828f24515f1c81dc518"}}