Sylvie Putot

Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification

Francesc Pifarre-Esquerda, Eric Goubault, Sylvie Putot

Quantitative verification of neural networks requires reasoning about probabilities under substantial uncertainty in both input distributions and their dependence structure. In realistic settings, this information is often only partially specified, and assuming precise probabilis…Read more