-
Updated
May 12, 2024 - Python
#
vnncomp
Here are 5 public repositories matching this topic...
This repository contains a collection of residual benchmarks from VNNCOMP 2022-2024. It is designed to offer a more organized version of the existing benchmarks, making it easier to test new software. We recommend cloning the 'benchmarks_vnncomp' repository, which includes this repository as a submodule.
neural-network verification neural-networks benchmarks residual-networks residual-neural-networks neural-network-verification vnncomp
-
Updated
Sep 2, 2024
This repository contains a collection of fully connected benchmarks from VNNCOMP 2022-2024. It is designed to offer a more organized version of the existing benchmarks, making it easier to test new software. We recommend cloning the 'benchmarks_vnncomp' repository, which includes this repository as a submodule.
neural-network verification neural-networks benchmarks fully-connected-network fully-connected-neural-network neural-network-verification vnncomp
-
Updated
Sep 2, 2024
This repository contains a collection of convolutional benchmarks from VNNCOMP 2022-2024. It is designed to offer a more organized version of the existing benchmarks, making it easier to test new software. We recommend cloning the 'benchmarks_vnncomp' repository, which includes this repository as a submodule.
neural-network verification neural-networks benchmarks convolutional-networks convolutional-neural-networks neural-network-verification vnncomp
-
Updated
Sep 2, 2024
A reorganized collection of benchmarks from VNNCOMP since 2022, divided into three categories: fully connected, convolutional, and residual networks. Each category is available as a submodule, allowing you to download individual categories or all of them at once.
neural-network neural-networks benchmarks residual-network fully-connected-network convolutional-network neural-network-verification vnncomp
-
Updated
Aug 11, 2026 - Python
Add this topic to your repo
To associate your repository with the vnncomp topic, visit your repo's landing page and select "manage topics."