Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
arXiv:2604.21556v1 Announce Type: new
Abstract: The problem of probabilistic verification of a neural network investigates the probability of satisfying the safe constraints in the output space when the input is given by a probability distribution. It…