3 entries found.


Master Computer Science



2023-2024
Student Thesis Content
Kareem, J. Per-instance Algorithm Selection for MIP-based Neural Network Verification
Paraskeva, A. Resource-constrained Neural Architecture Search on DistilBERT for the task of question-answering
Spek, C. Auto-Verify: A framework for portfolio-based neural network verification