TY - RPRT TI - Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae AU - Stav Armoni-Friedmann AU - Hana Chockler AU - David A. Kelly PY - 2025 UR - https://arxiv.org/abs/2509.09982 ID - 2509.09982 ER -