In this tool paper, we design, develop, and release BoolXAI, an interpretable machine learning classification approach for Explainable AI (XAI) based on expressive Boolean formulas. The Boolean formula defines a logical rule with tunable complexity according to which input data are classified. Beyond the classical conjunction and disjunction, BoolXAI offers expressive operators such as AtLeast, AtMost, and Choose and their parameterization. This provides higher expressiveness compared to rigid rulesand tree-based approaches. We show how to train BoolXAI classifiers effectively using native local optimization to search the space of feasible formulas. We provide illustrative results on several well-known public benchmarks that demonstrate the competitive nature of our approach compared to existing methods. Our work is embodied in the open-source BoolXAI library with a high-level user interface to serve researchers and practitioners. BoolXAI can be used either as a standalone interpretable classifier or for post-hoc explanations of other black-box models or observed behavior. We highlight several desirable benefits of our tool, especially in industrial settings where rapid experimentation, reusability, reproducibility, deployment, and maintenance are of great interest. Finally, we showcase a deployed service powered by BoolXAI as an enterprise application.
Paperid:3127
Authors:Mitchell Kiely, Metin Ahiskali, Etienne Borde, Benjamin Bowman, David Bowman, Dirk van Bruggen, KC Cowan, Prithviraj Dasgupta, Erich Devendorf, Ben Edwards, Alex Fitts, Sunny Fugate, Ryan Gabrys, Wayne Gould, H. Howie Huang, Jules Jacobs, Ryan Kerr, Isaiah J. King, Li Li, Luis Martinez, Christopher Moir, Craig Murphy, Olivia Naish, Claire Owens, Miranda Purchase, Ahmad Ridley, Adrian Taylor, Sara Farmer, William John Valentine, Yiyi Zhang
Defence Science & Technology Group (DSTG), Australia., Army Combat Capabilities Development Command (DEVCOM), USA., University of Canterbury, New Zealand., Cybermonic, USA., Defence Science & Technology Group (DSTG), Australia., Punch Cyber Analytics, USA., Army Combat Capabilities Development Command (DEVCOM), USA., Naval Research Laboratory (NRL), USA., Air Force Research Laboratory (AFRL), USA., Defence Science Technology Laboratory (Dstl), United Kingdom., Punch Cyber Analytics, USA., Naval Information Warfare Center Pacific, USA., Naval Information Warfare Center Pacific, USA., Defence Science Technology Laboratory (Dstl), United Kingdom., Cybermonic, USA., Cornell University, USA., Defence Research and Development Canada (DRDC), Canada., Cybermonic, USA., Defence Research and Development Canada (DRDC), Canada., Naval Information Warfare Center Pacific, USA., Defence Science & Technology Group (DSTG), Australia., Defence Science Technology Laboratory (Dstl), United Kingdom., Defence Science Technology Laboratory (Dstl), United Kingdom., Defence Science Technology Laboratory (Dstl), United Kingdom., Defence Science Technology Laboratory (Dstl), United Kingdom., National Security Agency (NSA), USA., Defence Research and Development Canada (DRDC), Canada., Defence Science Technology Laboratory (Dstl), United Kingdom., University of Canterbury, New Zealand., Cornell University, USA.