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…