David Dill
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
2017/02/03 by Guy Katz, Clark Barrett, Katz, Guy +10 · 1 voice · 81 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO