# 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