Category Feedback and Select Categories for your Tool/Method

[ttj]

Hi everyone, could you please go over the 3 proposed categories and add a comment for which category/ies your tool(s)/method(s) may participate so that we may collect who will participate in each, and then start to move on to the next phase of formalizing and distributing benchmarks? In the comment, please also include any assumptions required for your tool (e.g., specific layers/activations supported/not supported, requirements on specifications, input format of networks/specifications, etc.). Please also note in the discussions for the categories some of the candidate subcategories. We would like to have the categories and participants in the categories finalized in about the next week (by about April 24).

Additionally, if you have any feedback on the proposed categories, other categories we should consider, or suggested benchmarks for the categories, or anything else, please provide comments.

The categories are described in these issues:

#3

#2

#1

There doesn't seem to be a way to email everyone from the github team, so I've mentioned everyone and hope that will create a notification so that you see this. If we don't start to hear back from more of you soon, we'll then also email everyone separately.

@verivital/vnn-comp20

@teobaluta @Crystalboli @dlshriver @vtjeng @anex004 @artac72 @pkouvaros @nathanael-fijalkow @zgzn @huanzhang12 @stanleybak @trhoangdung @shizhouxing @cjhsieh @guykatzz @alessandrodepalma @mpawankumar @llylly @joshua-smith4 @iainjwhiteside @susmitjha @changliuliu @pat676 @pmusau17 @JingyueLu @FlorianJaeckle @Neelanjana314 @alessiolomuscio @dieman95 @KaidiXu