Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretinsky, Stefanie Mohr, Sabine Rieder
TL;DR
This paper tackles the safety challenge of neural networks encountering out-of-distribution data by advocating runtime monitoring as a scalable alternative to costly verification. It introduces Monitizer, a modular framework that automates the construction, optimization, and evaluation of NN OOD monitors, supporting 19 monitors across 9 datasets and 15 neural networks, with three optimization methods (random, grid-search, gradient-descent) and multi-objective capabilities. The framework enables end-to-end, objective-driven tuning and transparent per-OOD-class evaluation, addressing the reproducibility and comparability gaps in prior work. Empirical results from a MNIST-based case study demonstrate that monitor performance is highly class-dependent and sensitive to optimization choices, underscoring the value of Monitizer for principled, repeatable benchmarking and deployment-ready monitor selection.
Abstract
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 is used for decision-making in a safety-critical system. Hence, detecting that an input is OOD is crucial for the safe application of the NN. Verification approaches do not scale to practical NNs, making runtime monitoring more appealing for practical use. While various monitors have been suggested recently, their optimization for a given problem, as well as comparison with each other and reproduction of results, remain challenging. We present a tool for users and developers of NN monitors. It allows for (i) application of various types of monitors from the literature to a given input NN, (ii) optimization of the monitor's hyperparameters, and (iii) experimental evaluation and comparison to other approaches. Besides, it facilitates the development of new monitoring approaches. We demonstrate the tool's usability on several use cases of different types of users as well as on a case study comparing different approaches from recent literature.
