OpenData/data/2026-IJCI

A Malware Detection Model as a Benchmark for Neural Network Verification

Overview

This directory contains data and resources for the 2026-IJCI paper titled “A Malware Detection Model as a Benchmark for Neural Network Verification”.

Contents

• vnnlib/ - VNNLIB files
• onnx/ - Model in ONNX format