Anan Kabaha

1. Verification of Neural Networks' Global Robustness
   2024/02/29 by Anan Kabaha, Kabaha, Anan, Dana Drachsler-Cohen +1 · 4 citations
   Computer Science · Engineering · #Advanced Data Processing Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Neural Networks and Applications #Programming Languages (cs.PL)
2. Verification of Neural Networks Local Differential Classification Privacy
   2023/10/31 by Reshef, Roie, Anan Kabaha, Kabaha, Anan +3 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
3. Boosting Robustness Verification of Semantic Feature Neighborhoods
   2022/09/12 by Anan Kabaha, Kabaha, Anan, Dana Drachsler-Cohen +1 · 1 citation
   Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science