Training Mixed-Monotone Neural Networks for Verification Without Set Propagation

Jonas Fingerhut, Lukas Koller, Matthias Althoff

Most formal verification approaches for neural networks conservatively enclose the output set of the neural network. However, computing a tight output enclosure is in general compu…