Login / Signup
Anan Kabaha
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Semantic Representations
Numerical Optimization
Low Level
Wordnet
Top Venues
CoRR
VMCAI
VMCAI (2)
SAS
</>
Publications
</>
Roie Reshef
,
Anan Kabaha
,
Olga Seleznova
,
Dana Drachsler-Cohen
Verification of Neural Networks' Local Differential Classification Privacy.
VMCAI (2)
(2024)
Roie Reshef
,
Anan Kabaha
,
Olga Seleznova
,
Dana Drachsler-Cohen
Verification of Neural Networks Local Differential Classification Privacy.
CoRR
(2023)
Anan Kabaha
,
Dana Drachsler-Cohen
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization.
VMCAI
(2023)
Anan Kabaha
,
Dana Drachsler-Cohen
Boosting Robustness Verification of Semantic Feature Neighborhoods.
SAS
(2022)
Anan Kabaha
,
Dana Drachsler-Cohen
Boosting Robustness Verification of Semantic Feature Neighborhoods.
CoRR
(2022)