Login / Signup
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications.
Leonard Berrada
Sumanth Dathathri
Krishnamurthy Dvijotham
Robert Stanforth
Rudy Bunel
Jonathan Uesato
Sven Gowal
M. Pawan Kumar
Published in:
NeurIPS (2021)
Keyphrases
</>
probabilistic model
main contribution
image segmentation
theoretical framework
high level
multiscale
probabilistic formulation
decision making
database systems
software engineering
programming language
generative model
framework enables
probabilistic approaches