Code for the Fanoos Multi-Resolution, Multi-Strength, Interactive XAI System

This upload contains a tarred and compressed copy of the code and git-history available at https://github.com/DBay-ani/Fanoos as of hour 3 day 16 month 5 year 2021 UTC. See the following paper for a description:     @inproceedings{DBLP:conf/vmcai/BayaniM22,       author    = {David Bayani and Stefan Mitsch},       editor    = {Bernd Finkbeiner and                    Thomas Wies},       title     = {Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems},       booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings},       series    = {Lecture Notes in Computer Science},       volume    = {13182},       pages     = {43--68},       publisher = {Springer},       year      = {2022},       url       = {https://doi.org/10.1007/978-3-030-94583-1\_3},       doi       = {10.1007/978-3-030-94583-1\_3},       timestamp = {Fri, 21 Jan 2022 22:02:46 +0100},       biburl    = {https://dblp.org/rec/conf/vmcai/BayaniM22.bib},       bibsource = {dblp computer science bibliography, https://dblp.org}     } or see the extended write-up at:     @article{bayani2020fanoos,       title={Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems},       author={Bayani, David and Mitsch, Stefan},       journal={arXiv preprint arXiv:2006.12453},       year={2020},       url={https://arxiv.org/abs/2006.12453}     } This upload is related to the additional written materials available on the following Zenodo item:     @misc{david_bayani_2022_6069468,       author       = {David Bayani},       title        = {{Further Materials (Additional Slides, Write-ups, Results, etc.) for Fanoos: Multi-Resolution, Multi-Strength, Interactive XAI System}},       month        = feb,       year         = 2022,       publisher    = {Zenodo},       doi          = {10.5281/zenodo.6069468},       url          = {https://doi.org/10.5281/zenodo.6069468}     } We note that this upload ("Code for Fanoos [...]"), in contrast to the material cited immediately above, contains source related to Fanoos, as opposed to additional write-up, slides, etc.