GitHub

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:

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
check_onnx_instructions.txt		check_onnx_instructions.txt
check_onnx_multipleways.m		check_onnx_multipleways.m
check_vnn_onnx.m		check_vnn_onnx.m
examples.m		examples.m
load_onnx.m		load_onnx.m
matlab2nnv.m		matlab2nnv.m
onnx2nnv.m		onnx2nnv.m
readme.md		readme.md
ss.m		ss.m
vnncomp_trials.txt		vnncomp_trials.txt
vnncomp_trials_explained.txt		vnncomp_trials_explained.txt

Provide feedback