Leiden University Scholarly Publications

Your Search

Enabled Filters

  • (-) = Rijn, J.N. van
  • (-) ≠ Huisman, M.
  • (-) ≠ Leiden Institute of Advanced Computer Science (LIACS)

Refine Results

Availability

Creation Date

Faculty

Collection

Language

Search results

  • RSS Feed
(1 - 9 of 9)
Critically assessing the state of the art in neural network verification
Accelerating adversarially robust model selection for deep neural networks via racing
The bigger fish
Critically assessing the state of the art in CPU-based local robustness verification
Hyperparameter importance of quantum neural networks across small datasets
Speeding up neural network verification via automated algorithm configuration
Advances in MetaDL: AAAI 2021 Challenge and Workshop
Towards algorithm-agnostic uncertainty estimation