This repository contains the work done in my MSc Thesis at Leiden University, which was on per-instance algorithm selection to make neural network verification more efficient. If you want to read the thesis covering the work in this repository, you can do so here: https://theses.liacs.nl/pdf/2023-2024-KareemJ.pdf
More documentation for this work will follow soon... (I promise!)
If you would like to use some of this work in your research, please cite this work in the following way:
@masterthesis{Kareem2023,
author = {Jasmin Kareem},
title = {Per-instance Algorithm Selection for MIP-based Neural Network Verification},
school = {Leiden University},
year = {2024}}