Shahaf Bassan

According to our database, Shahaf Bassan authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Local vs. Global Interpretability: A Computational Complexity Perspective.

Shahaf Bassan, Guy Amir, Guy Katz

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

Guy Amir, Shahaf Bassan, Guy Katz

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.

Shahaf Bassan, Guy Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Towards Formal Approximated Minimal Explanations of Neural Networks.

Shahaf Bassan, Guy Katz

CoRR, 2022

Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors.

Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022