Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bassan, Shahaf
7  Ergebnisse:
Personensuche X
?
1

Towards Formal XAI: Formally Approximate Minimal Explanatio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bassan, Shahaf ; Katz, Guy - p. 187-207 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Formally Explaining Neural Networks within Reactive Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Bassan, Shahaf ; Amir, Guy ; Corsi, Davide.. - p. 1-13 , 2023
Link: https://doi.org/10.34727..
 
?
3

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks:

Wu, Haoze ; Isac, Omri ; Zeljić, Aleksandar...
http://arxiv.org/abs/2401.14461.  , 2024
Link: http://arxiv.org/abs/240..
 
?
4

Formally Explaining Neural Networks within Reactive Systems..:

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide..
doi:10.5281/zenodo.8197761.  , 2023
Link: https://zenodo.org/recor..
 
?
5

Formally Explaining Neural Networks within Reactive Systems:

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide..
http://arxiv.org/abs/2308.00143.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Towards Formal XAI: Formally Approximate Minimal Explanatio..:

Bassan, Shahaf ; Katz, Guy
http://arxiv.org/abs/2210.13915.  , 2022
Link: http://arxiv.org/abs/221..
 
?
7

Unsupervised Symbolic Music Segmentation using Ensemble Tem..:

Bassan, Shahaf ; Adi, Yossi ; Rosenschein, Jeffrey S
http://arxiv.org/abs/2207.00760.  , 2022
Link: http://arxiv.org/abs/220..
 
1-7