{"id":"arxiv/2602.18160","url":"https://arxiv.org/abs/2602.18160","tags":["cs.LG","cs.CC","cs.DS","math.OC"],"score":0,"title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","domain":"cs.LG","source":"arxiv","authors":["Shahaf Bassan","Xuanxiang Huang","Guy Katz"],"reviews":0,"subject":"cs.LG","summary":"Previous work has explored the computational complexity of deriving two fundamental types of explanations for ML model predictions: (1) *sufficient reasons*, which are subsets of input features that, when fixed, determine a prediction, and (2) *contrastive reasons*, which are subsets of input features that, when modified, alter a prediction. Prior studies have examined these explanations in different contexts, such as non-probabilistic versus probabilistic frameworks and local versus global settings. In this study, we introduce a unified framework for analyzing these explanations,…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-20","reactions":{}}