OpenData/data/2026-IJCI/README.md

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