Per-instance Algorithm Selection for MIP-based Neural Network Verification

Kareem, J. (Jasmin)

LIACS Thesis Repository

These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

Master Computer Science

The following thesis was written by a student who graduated in 2023-2024 from the Master Computer Science programme at Leiden University.

Thesis details

Title	Per-instance Algorithm Selection for MIP-based Neural Network Verification
Student	Kareem, J. (Jasmin)
Programme	Master Computer Science
Year	2023-2024
Supervisors	H.M.T. König MSc, A.W. Bosman (first supervisor) Rijn, dr. J.N. (Jan) van Hoos, prof.dr. H.H. (Holger)
Thesis	Open Thesis PDF

Citation details

Kareem, J. (Jasmin), Per-instance Algorithm Selection for MIP-based Neural Network Verification, Thesis Master Computer Science, LIACS, Leiden University, 2024.