D
Demerzel
Text
2501.00154
Formal explainable AI seeks explanations of a classifier's decisions that carry mathematical guarantees. A central notion is the sufficient reason: a subset of an input's features whose values alone …