Efficient Neural Network Analysis with Sum-of-Infeasibilities

Published in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), 2022