Anan Kabaha

Publication Activity (10 Years)

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

Top Topics

Document Summarization

Numerical Optimization

Top Venues

Proc. ACM Program. Lang.

Publications

Anan Kabaha, Dana Drachsler-Cohen
Verification of Neural Networks' Global Robustness. CoRR (2024)
Anan Kabaha, Dana Drachsler-Cohen
Verification of Neural Networks' Global Robustness. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
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)