Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
Calvin Chau, Jan Křetínský, Stefanie Mohr
Abstraction is a key verification technique to improve scalability. However, its use for neural networks is so far extremely limited. Previous approaches for abstracting classifica…
cs.LO2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, Jan Křetínský +1
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scalin…