Search

Jonathan Uesato

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
Verification of Non-Linear Specifications for Neural Networks
Scalable Verified Training for Provably Robust Image Classification

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