Katz, Guy
692  Ergebnisse:
Personensuche X
?
 
?
 
?
6

Proliferative features of IgG4-related disease:

Katz, Guy ; Hernandez-Barco, Yasmin ; Palumbo, Diego...
The Lancet Rheumatology.  6 (2024)  7 - p. e481-e492 , 2024
 
?
 
?
12

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
 
?
13

DelBugV: Delta-Debugging Neural Network Verifiers:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Elsaleh, Raya ; Katz, Guy - p. 34-43 , 2023
 
?
14

RoMA: A Method for Neural Network Robustness Measurement an..:

, In: Communications in Computer and Information Science; Neural Information Processing,
Levy, Natan ; Katz, Guy - p. 92-105 , 2023
 
?
15

gRoMA: A Tool for Measuring the Global Robustness of Deep N..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Levy, Natan ; Yerushalmi, Raz ; Katz, Guy - p. 160-170 , 2023
 
1-15