vnn-comp
Hello,
Thank you again for your interest in VNN-COMP. As it seems some interested participants may not be receiving GitHub notifications, we have set up this Google group to serve as an email listserv to send reminders, the primary discussion will still occur in GitHub.
As a reminder, please comment on the proposed categories in the GitHub issues listed next and indicate which (if any) categories your tools may participate in.
We would like to finalize the categories and participants thereof by April 30.
There are 2-3 proposed categories.
1. Feedforward networks with piecewise linear activations (such as ReLUs)
https://github.com/verivital/
2. Convolutional neural networks (may be combined with the piecewise category or as a subcategory thereof)
https://github.com/verivital/
3. Feedforward networks with nonlinear activations (such as tanh)
https://github.com/verivital/
Please let us know of any questions/concerns.
Best regards,
Taylor & Changliu
https://sites.google.com/view/
