Invitation to participate in the 4th Verification of Neural Networks Competition (VNN-COMP'23)

[Taylor Johnson]

Dear colleagues,

We would like to invite you to participate in the 4th Verification of Neural Networks Competition (VNN-COMP'23) (https://sites.google.com/view/vnn2023).

Registration: We ask that you indicate your interest by March 17, 2023, if you are interested to learn more, and potentially participate, in order to help guide the direction of the competition. The registration form is here: 

https://forms.gle/tjPzsSP4qNfzAMtZ7

Please let us know if you have any questions.

VNN-COMP 2023 Organizers