A library dedicated to verifying the local stability of developed neural networks. Using advanced techniques such as Linear Relaxation-based Perturbation Analysis (LiRPA), Decomon automatically derives upper and lower bounds for the predictions of a neural network with perturbed inputs. These bounds are calculated using linear relaxations.
