Efficiently Computing Compact Formal Explanations

Min Wu, Xiaofu Li, Haoze Wu +1

Building on VeriX (Verified eXplainability, arXiv:2212.01051), a system for producing optimal verified explanations for machine learning models, we present VeriX+, which significan…