Ashok, Pranav
- DeepAbstract: Neural Network Abstraction for Accelerating Verification
2020/06/24 by Ashok, Pranav, Hashemi, Vahid, Křetínský, Jan +1 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)