README

data/2026-IJCI/README.md

@@ -5,5 +5,5 @@
 This directory contains data and resources for the 2026-IJCI paper titled "A Malware Detection Model as a Benchmark for Neural Network Verification".
 
 ## Contents
-- `boolean_classifier/` - Neural Network model
-- `verifier/` - Scripts for tool verification
+- `vnnlib/` - VNNLIB files
+- `onnx/` - Model in ONNX format