VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

Ann Roy, Allen Antony, Andrea Gimelli +1

Neural network verification is an active and rapidly maturing research area, with a growing ecosystem of solvers and tools. The VNN-LIB standard was introduced to support interoper…