Monitizer: Automating Design and Evaluation of Neural Network Monitors

Published: 01 Jan 2024, Last Modified: 10 May 2025CAV (2) 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
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.
Loading