Lazarus, Christopher

1. Algorithms for Verifying Deep Neural Networks
   2019/03/15 by Changliu Liu, Tomer Arnon, Liu, Changliu +9 · 20 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
2. Deep Binary Reinforcement Learning for Scalable Verification
   2022/03/11 by Lazarus, Christopher, Kochenderfer, Mykel J. · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)