Shahaf Bassan

28 papers A* 4A 3B 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
FAME: Formal Abstract Minimal Explanation for Neural Networks.
CoRR
Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe, Shahaf Bassan, Guy Katz
2026 J jnl
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees.
CoRR
Itamar Hadad, Guy Katz, Shahaf Bassan
2026 J jnl
Provably Explaining Neural Additive Models.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz
2026 J jnl
Unifying Formal Explanations: A Complexity-Theoretic Perspective.
CoRR
Shahaf Bassan, Xuanxiang Huang, Guy Katz
2025 J jnl
Additive Models Explained: A Computational Complexity Approach.
CoRR
Shahaf Bassan, Michal Moshkovitz, Guy Katz
2025 J jnl
CLATTER: Comprehensive Entailment Reasoning for Hallucination Detection.
CoRR
Ron Eliav, Arie Cattan, Eran Hirsch, Shahaf Bassan, Elias Stengel-Eskin, Mohit Bansal, Ido Dagan
2025 A* conf
Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons.
ICLR
Shahaf Bassan, Ron Eliav, Shlomit Gur
2025 J jnl
Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons.
CoRR
Shahaf Bassan, Ron Eliav, Shlomit Gur
2025 A* conf
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
ICML
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 A conf
On the Computational Tractability of the (Many) Shapley Values.
AISTATS
Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera
2025 J jnl
On the Computational Tractability of the (Many) Shapley Values.
CoRR
Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera
2025 J jnl
SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism.
CoRR
Reda Marzouk, Shahaf Bassan, Guy Katz
2025 J jnl
Self-Explaining Neural Networks for Business Process Monitoring.
CoRR
Shahaf Bassan, Shlomit Gur, Sergey Zeltyn, Konstantinos Mavrogiorgos, Ron Eliav, Dimosthenis Kyriazis
2025 A* conf
What makes an Ensemble (Un) Interpretable?
ICML
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2025 J jnl
What makes an Ensemble (Un) Interpretable?
CoRR
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2024 A conf
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
ECAI
Guy Amir, Shahaf Bassan, Guy Katz
2024 J jnl
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
CoRR
Guy Amir, Shahaf Bassan, Guy Katz
2024 A* conf
Local vs. Global Interpretability: A Computational Complexity Perspective.
ICML
Shahaf Bassan, Guy Amir, Guy Katz
2024 J jnl
Local vs. Global Interpretability: A Computational Complexity Perspective.
CoRR
Shahaf Bassan, Guy Amir, Guy Katz
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
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 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
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
2023 B conf
Formally Explaining Neural Networks within Reactive Systems.
FMCAD
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 J jnl
Formally Explaining Neural Networks within Reactive Systems.
CoRR
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 — conf
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.
TACAS (1)
Shahaf Bassan, Guy Katz
2022 J jnl
Towards Formal Approximated Minimal Explanations of Neural Networks.
CoRR
Shahaf Bassan, Guy Katz
2022 A conf
Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors.
INTERSPEECH
Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein
2022 J jnl
Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors.
CoRR
Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein