| 2025 | AISTATS | On the Computational Tractability of the (Many) Shapley Values. | Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera |
| 2025 | ICLR | Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons. | Shahaf Bassan, Ron Eliav, Shlomit Gur |
| 2025 | ICML | What makes an Ensemble (Un) Interpretable? | Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz |
| 2025 | ICML | Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. | Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz |
| 2024 | CAV | 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 |
| 2024 | ECAI | Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation. | Guy Amir, Shahaf Bassan, Guy Katz |
| 2024 | ICML | Local vs. Global Interpretability: A Computational Complexity Perspective. | Shahaf Bassan, Guy Amir, Guy Katz |
| 2023 | FMCAD | Formally Explaining Neural Networks within Reactive Systems. | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
| 2023 | TACAS | Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks. | Shahaf Bassan, Guy Katz |
| 2022 | Interspeech | Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors. | Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein |