Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae. - Stav Armoni-Friedmann; Hana Chockler; David A. Kelly (CoRR, 2025)