Tomer Arnon
- Algorithms for Verifying Deep Neural Networks
2019/03/15 by Changliu Liu, Liu, Changliu, Tomer Arnon +9 · 19 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms