Search

Jonathan Uesato

Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Scalable verified training for provably robust image classification
Toward evaluating robustness of deep reinforcement learning with continuous control
Verification of non-linear specifications for neural networks

Published with Wowchemy — the free, open source website builder that empowers creators.