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.
Note: this thesis repository might be incomplete for certain programmes.
4 entries found.
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 |