Certification of iterative predictions in Bayesian neural networks.

Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Browse the full UAI paper archive.