VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
arXiv:2605.07451v1 Announce Type: new
Abstract: 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 interoperability in this ecosyst…