{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:RKJXMHJLM6IFGDW3IWMSDVT37Z","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":"7f294dca36c81d276f57e5333c0010fe43f2e085a18d1b39013558b7cc82f805","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-05-19T23:47:25Z","title_canon_sha256":"4a085b82a782331db3d77c573fd756748555f0c6ee1a2a108e52c19b2aa7afd5"},"schema_version":"1.0","source":{"id":"2205.09901","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.09901","created_at":"2026-07-05T06:05:57Z"},{"alias_kind":"arxiv_version","alias_value":"2205.09901v3","created_at":"2026-07-05T06:05:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.09901","created_at":"2026-07-05T06:05:57Z"},{"alias_kind":"pith_short_12","alias_value":"RKJXMHJLM6IF","created_at":"2026-07-05T06:05:57Z"},{"alias_kind":"pith_short_16","alias_value":"RKJXMHJLM6IFGDW3","created_at":"2026-07-05T06:05:57Z"},{"alias_kind":"pith_short_8","alias_value":"RKJXMHJL","created_at":"2026-07-05T06:05:57Z"}],"graph_snapshots":[{"event_id":"sha256:f0d56aa99a412c4f99bc6b4ab65b920cb70d760ade90b8ba49a3fa1be0ad2407","target":"graph","created_at":"2026-07-05T06:05:57Z","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/2205.09901/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, there has been increasing interest in explanation methods for neural model predictions that offer precise formal guarantees. These include abductive (respectively, contrastive) methods, which aim to compute minimal subsets of input features that are sufficient for a given prediction to hold (respectively, to change a given prediction). The corresponding decision problems are, however, known to be intractable. In this paper, we investigate whether tractability can be regained by focusing on neural models implementing a monotonic function. Although the relevant decision problems","authors_text":"Bernardo Cuenca Grau, Ian Horrocks, Ouns El Harzli","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-05-19T23:47:25Z","title":"Cardinality-Minimal Explanations for Monotonic Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.09901","kind":"arxiv","version":3},"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:82003c9016d8c0c572b70dbf18195541fd8584226c424d9905977e19b066089f","target":"record","created_at":"2026-07-05T06:05:57Z","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":"7f294dca36c81d276f57e5333c0010fe43f2e085a18d1b39013558b7cc82f805","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-05-19T23:47:25Z","title_canon_sha256":"4a085b82a782331db3d77c573fd756748555f0c6ee1a2a108e52c19b2aa7afd5"},"schema_version":"1.0","source":{"id":"2205.09901","kind":"arxiv","version":3}},"canonical_sha256":"8a93761d2b6790530edb459921d67bfe6b4e2fd7af30e4710b04a4f40d7d320d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a93761d2b6790530edb459921d67bfe6b4e2fd7af30e4710b04a4f40d7d320d","first_computed_at":"2026-07-05T06:05:57.954890Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:05:57.954890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1hQGl6ij/+Je/chpfBnIMnT0iBG3mjKP64b2UtWR8jNt/bV3649Kxi6TQeFPUiTmMTgxeYVvdNqGRNAV8ET+CA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:05:57.955279Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.09901","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82003c9016d8c0c572b70dbf18195541fd8584226c424d9905977e19b066089f","sha256:f0d56aa99a412c4f99bc6b4ab65b920cb70d760ade90b8ba49a3fa1be0ad2407"],"state_sha256":"fafc60ed4e45b1ee495047f5c4cc5a308f341a170e7c5eac8a97bba112af8f91"}