Code of "Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation"/"Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation", written by Jorge E. León, with the guidance of Leopoldo Bertossi. Feel free to use it as you please 👍
This code is thought to be used on Google Colab. Modifications should be made to be installed on other computers (especially the ones with an OS different from Linux).
A big thanks goes to Arthur Choi, Norbert Manthey & Andy Shih for sharing their respective repositories, which were key to the development of this code. These can be found down below:
- https://github.com/wannesm/PySDD
- https://github.com/conp-solutions/riss
- https://github.com/art-ai/nnf2sdd
- https://github.com/AndyShih12/CNF_OBDD
Also thanks to Maximilian Schleich for his non public code that he kindly shared with us.