Verifying generalization in deep learning
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the
state of the art in numerous application domains. However, DNN-based decision rules are …
state of the art in numerous application domains. However, DNN-based decision rules are …
Interpretable model-agnostic plausibility verification for 2d object detectors using domain-invariant concept bottleneck models
M Keser, G Schwalbe, A Nowzad… - Proceedings of the …, 2023 - openaccess.thecvf.com
Despite the unchallenged performance, deep neural network (DNN) based object detectors
(OD) for computer vision have inherent, hard-to-verify limitations like brittleness, opacity, and …
(OD) for computer vision have inherent, hard-to-verify limitations like brittleness, opacity, and …
Knowledge augmented machine learning with applications in autonomous driving: A survey
The availability of representative datasets is an essential prerequisite for many successful
artificial intelligence and machine learning models. However, in real life applications these …
artificial intelligence and machine learning models. However, in real life applications these …
Monitizer: automating design and evaluation of neural network monitors
The behavior of neural networks (NNs) on previously unseen types of data (out-of-
distribution or OOD) is typically unpredictable. This can be dangerous if the network's output …
distribution or OOD) is typically unpredictable. This can be dangerous if the network's output …
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Deep neural networks (DNNs) play a crucial role in the field of machine learning,
demonstrating state-of-the-art performance across various application domains. However …
demonstrating state-of-the-art performance across various application domains. However …
Learning Run-time Safety Monitors for Machine Learning Components
For machine learning components used as part of autonomous systems (AS) in carrying out
critical tasks it is crucial that assurance of the models can be maintained in the face of post …
critical tasks it is crucial that assurance of the models can be maintained in the face of post …
DualYOLO: Remote Small Target Detection with Dual Detection Heads Based on Multi-scale Feature Fusion
Z Zhang, C Li, C Wang, J Lv - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
In recent years, accurate and real-time long-range small target detection has become a
popular and challenging task, particularly in time-sensitive scenarios such as unmanned …
popular and challenging task, particularly in time-sensitive scenarios such as unmanned …
Contributions to the Verification and Monitoring of Neural Network Systems
F Boudardara - 2024 - theses.hal.science
The evaluation and verification of neural networks (NNs), as a part of their safe design and
deployment, becomes a hot research topic, particularly with the recent studies showing their …
deployment, becomes a hot research topic, particularly with the recent studies showing their …