Shahaf Bassan

According to our database, Shahaf Bassan authored at least 13 papers between 2022 and 2025.

Collaborative distances:

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

2025

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

CoRR, June, 2025

What makes an Ensemble (Un) Interpretable?

Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz

CoRR, June, 2025

CLATTER: Comprehensive Entailment Reasoning for Hallucination Detection.

Ron Eliav, Arie Cattan, Eran Hirsch, Shahaf Bassan, Elias Stengel-Eskin, Mohit Bansal, Ido Dagan

CoRR, June, 2025

Self-Explaining Neural Networks for Business Process Monitoring.

Shahaf Bassan, Shlomit Gur, Sergey Zeltyn, Konstantinos Mavrogiorgos, Ron Eliav, Dimosthenis Kyriazis

CoRR, March, 2025

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons.

Shahaf Bassan, Ron Eliav, Shlomit Gur

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

On the Computational Tractability of the (Many) Shapley Values.

Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2025

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