Shahaf Bassan

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Bayesian Image Segmentation

Fully Unsupervised

Top Venues

Publications

Shahaf Bassan, Guy Amir, Guy Katz
Local vs. Global Interpretability: A Computational Complexity Perspective. CoRR (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. CoRR (2023)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. FMCAD (2023)
Shahaf Bassan, Guy Katz
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks. TACAS (1) (2023)
Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein
Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors. CoRR (2022)
Shahaf Bassan, Yossi Adi, Jeffrey S. Rosenschein
Unsupervised Symbolic Music Segmentation using Ensemble Temporal Prediction Errors. INTERSPEECH (2022)
Shahaf Bassan, Guy Katz
Towards Formal Approximated Minimal Explanations of Neural Networks. CoRR (2022)