Shahaf Bassan

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

Collaborative distances:

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

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

CoRR, 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 Interspeech 2022, 2022