4 entries found.


Master Computer Science



2023-2024
Student Thesis Content
Kareem, J. Per-instance Algorithm Selection for MIP-based Neural Network Verification
Nieuwenhuijzen, van den, M.Selecting Pre-trained Models For Transfer Learning With Data-centric Meta-features
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