Idea is to develop an importer directly from ONNX to NNV format using MATLAB.
We will test all the networks from VNN-COMP and ARCH-COMP 2022 first
Requirements:
- ONNX converter from Mathworks
- NNV
verivital/onnx2nnv
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|