Further Materials (Additional Slides, Write-ups, Results, etc.) for Fanoos: Multi-Resolution, Multi-Strength, Interactive XAI System
Creators: name: Bayani, David
Publisher: name: Zenodo
Year: 2022
Subjects: subject: neural network verification
subject: neural network certification
subject: interpretablity
subject: explainability
subject: XAI
subject: neural networks
subject: explainable artificial intelligence
subject: abstraction
subject: explanation refinement
subject: rule extraction
subject: verification
subject: certification
subject: CEGAR
subject: counterexample guided abstraction refinement
subject: reachability analysis
subject: heuristic search
subject: interactive systems
subject: multi-resolution
subject: multiresolution
subject: multi-granular
subject: multigranular
subject: machine learning
subject: ML
subject: artificial intelligence
subject: AI
subject: https://www.acm.org/publications/computing-classification-system/1998/d.2.1
subject: https://www.acm.org/publications/computing-classification-system/1998/d.2.2
subject: https://www.acm.org/publications/computing-classification-system/1998/d.2.4
subject: https://www.acm.org/publications/computing-classification-system/1998/f.3.1
subject: https://www.acm.org/publications/computing-classification-system/1998/h.1.2
subject: https://www.acm.org/publications/computing-classification-system/1998/h.2.8
subject: https://www.acm.org/publications/computing-classification-system/1998/h.3.1
subject: https://www.acm.org/publications/computing-classification-system/1998/h.4.2
subject: https://www.acm.org/publications/computing-classification-system/1998/h.5.2
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.0
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.1
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.2
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.3
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.6
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.8
subject: https://www.acm.org/publications/computing-classification-system/1998/i.2.9
subject: https://www.acm.org/publications/computing-classification-system/1998/i.5.1
subject: https://www.acm.org/publications/computing-classification-system/1998/i.5.2
subject: https://www.acm.org/publications/computing-classification-system/1998/i.5.5
subject: https://www.acm.org/publications/computing-classification-system/1998/i.6

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