This is a competition for researchers to test their neural network verification toolkit. There are a whole series of benchmarks against which the tools are evaluated. Create an account and submit your proposed benchmark or your tool.
