vnncomp2021
vnncomp2021 copied to clipboard
stanleybak
VNN Neural Network Verification Competition 2021
The tool testing and submission instructions are in [this document](https://docs.google.com/document/d/17yCsBlWNckeLQWN_VW1pnrzj8GcmZH5AVMy-mXlfmJw/edit?usp=sharing). Please post your tool information according to the instructions in this topic.
Use this issue to describe your benchmark and solicit feedback. A benchmark consists of a one or more ONNX network files, one or more VNNLIB property files. For each instance...
A preliminary document with the proposed competition rules is linked [here](https://docs.google.com/document/d/13XDfEmeUwsYteMFrLrIHGzBn205XeodJ-hD3TU0s700/edit?usp=sharing). Please use this issue to discuss any aspects or possible changes to the rules. Also please post if you...
Metadata
Owner
Metadata
VNN Neural Network Verification Competition 2021