Picture for Shahaf Bassan

Shahaf Bassan

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

Add code
Aug 07, 2024
Viaarxiv icon

Local vs. Global Interpretability: A Computational Complexity Perspective

Add code
Jun 07, 2024
Figure 1 for Local vs. Global Interpretability: A Computational Complexity Perspective
Figure 2 for Local vs. Global Interpretability: A Computational Complexity Perspective
Viaarxiv icon

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Add code
Jan 25, 2024
Figure 1 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 2 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 3 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Viaarxiv icon

Formally Explaining Neural Networks within Reactive Systems

Add code
Aug 06, 2023
Figure 1 for Formally Explaining Neural Networks within Reactive Systems
Figure 2 for Formally Explaining Neural Networks within Reactive Systems
Figure 3 for Formally Explaining Neural Networks within Reactive Systems
Figure 4 for Formally Explaining Neural Networks within Reactive Systems
Viaarxiv icon

Towards Formal Approximated Minimal Explanations of Neural Networks

Add code
Oct 25, 2022
Viaarxiv icon

Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors

Add code
Jul 02, 2022
Figure 1 for Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors
Figure 2 for Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors
Figure 3 for Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors
Figure 4 for Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors
Viaarxiv icon