Khmelnitsky, Igor

1. Property-Directed Verification of Recurrent Neural Networks
   2020/09/22 by Igor Khmelnitsky, Khmelnitsky, Igor, Daniel Neider +15 · 1 citation
   Computer Science · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms