README.md

Regression Test Benchmarks

This repository contains samples from different benchmarks to be used as regression tests for the development of Never2.

Benchmarks

• ACAS_XU: 45 benchmarks, fully connected + ReLU (5 layers of 50 neurons)
• RL: 20 benchmarks, fully connected + ReLU (2 layers of 64 or 256 neurons)
• CIFAR2020: 20 benchmarks, convolutional + ReLU
• sri_resnet_a: 10 benchmarks, ResNet + Conv + ReLU