Make Sure You extquotesingle re Unsure: A Framework for Verifying Probabilistic Specifications - Berrada, Leonard; Dathathri, Sumanth; Dvijotham, Krishnamurthy; Stanforth, Robert; Bunel, Rudy R; Uesato, Jonathan; Gowal, Sven; Kumar, M. Pawan (Advances in Neural Information Processing Systems, 2021)