{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QFCLFARSM35ST6ZBWGNSHRFE2U","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":"30de75aff4cdd1e592ed083449cd5ccdb4f191053ebdce8252beebb072b6168f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T21:41:07Z","title_canon_sha256":"eb2c01073ca14da97f8837c837cc84f074d23fb51d5dfd3f92fdb86fc6d29adb"},"schema_version":"1.0","source":{"id":"2505.09640","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09640","created_at":"2026-07-05T11:03:26Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09640v1","created_at":"2026-07-05T11:03:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09640","created_at":"2026-07-05T11:03:26Z"},{"alias_kind":"pith_short_12","alias_value":"QFCLFARSM35S","created_at":"2026-07-05T11:03:26Z"},{"alias_kind":"pith_short_16","alias_value":"QFCLFARSM35ST6ZB","created_at":"2026-07-05T11:03:26Z"},{"alias_kind":"pith_short_8","alias_value":"QFCLFARS","created_at":"2026-07-05T11:03:26Z"}],"graph_snapshots":[{"event_id":"sha256:db7ee4fd49e425d9a71f6a1fae2ff7d760a488d1c80c6b474adb3d98d22a9741","target":"graph","created_at":"2026-07-05T11:03:26Z","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/2505.09640/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Given a classification model and a prediction for some input, there are heuristic strategies for ranking features according to their importance in regard to the prediction. One common approach to this task is rooted in propositional logic and the notion of \\textit{sufficient reason}. Through this concept, the categories of relevant and necessary features were proposed in order to identify the crucial aspects of the input. This paper improves the existing techniques and algorithms for deciding which are the relevant and/or necessary features, showing in particular that necessity can be detected","authors_text":"Santiago Cifuentes, Tom\\'as Capdevielle","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T21:41:07Z","title":"Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09640","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:55807f7cee63bf929cfef8daec81536e9a9c8e1a3c2924691baae78f17cf52ab","target":"record","created_at":"2026-07-05T11:03:26Z","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":"30de75aff4cdd1e592ed083449cd5ccdb4f191053ebdce8252beebb072b6168f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T21:41:07Z","title_canon_sha256":"eb2c01073ca14da97f8837c837cc84f074d23fb51d5dfd3f92fdb86fc6d29adb"},"schema_version":"1.0","source":{"id":"2505.09640","kind":"arxiv","version":1}},"canonical_sha256":"8144b2823266fb29fb21b19b23c4a4d50cc368bda4452384a09292c816705a82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8144b2823266fb29fb21b19b23c4a4d50cc368bda4452384a09292c816705a82","first_computed_at":"2026-07-05T11:03:26.473148Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:03:26.473148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SfJfHafLgbcIU9/aClzW+SM26Hjl4M5qFUWUVBfvFQ6P7SPmhg0Q7zZ1PVVVvapC38F6wQUz9OWqchIrrHvvBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:03:26.473613Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.09640","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55807f7cee63bf929cfef8daec81536e9a9c8e1a3c2924691baae78f17cf52ab","sha256:db7ee4fd49e425d9a71f6a1fae2ff7d760a488d1c80c6b474adb3d98d22a9741"],"state_sha256":"27ca206fa524dd28e66cea0432681cc1ca7f95887bc89e54ec5bd9d3cc6d58e8"}