VNN-COMP 2021 Registration

[Taylor Johnson]

Hello,

The 2nd Verification of Neural Networks Competition (VNN-COMP'21) is happening with CAV'21. As last year, this is a community-run friendly competition to provide a look at the state of the art in neural network verification. More details are here:

https://sites.google.com/view/vnn2021/

Registration: Please register by March 1, 2021 if you are interested to learn more, and potentially participate with a tool, in order to help guide the direction of the competition. The registration form is here:

https://forms.gle/EufCX7DpvxeeH3VD7

Benchmark proposals are also very welcome.

Please let us know if you have any questions.

Best regards,

Stanley Bak, Changliu Liu, and Taylor Johnson