Master Computer Science



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


Thesis details

TitlePer-instance Algorithm Selection for MIP-based Neural Network Verification
StudentKareem, J.
ProgrammeMaster Computer Science
Year2023-2024
SupervisorsH.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. , Per-instance Algorithm Selection for MIP-based Neural Network Verification, Thesis Master Computer Science, LIACS, Leiden University, 2024.