Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification

Maya Swisa, Guy Katz

Modern neural network verifiers often encode neural network verification as constraint satisfaction problems. When dealing with standard piecewise-linear activation functions, such…