Sven Gowal

Challenges of real-world reinforcement learning: definitions, benchmarks and analysis

Gabriel Dulac-Arnold, Nir Levine, Daniel J. Mankowitz et al. · Machine Learning · 2021 · 570 citations · Full text

Computing, Computer Science, Artificial Intelligence +11

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth et al. · arXiv (Cornell University) · 2018 · 302 citations · Full text

Computing, Computer Science, Algorithms +16

A Dual Approach to Scalable Verification of Deep Networks

Robert Stanforth, Sven Gowal, Timothy Mann et al. · arXiv (Cornell University) · 2018 · 173 citations · Full text

Computing, Computer Engineering, Computer Science +16

Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples

Sven Gowal, Chongli Qin, Jonathan Uesato et al. · arXiv (Cornell University) · 2020 · 144 citations · Full text

Computing, Computer Science, Computer Security +10

Scalable Verified Training for Provably Robust Image Classification

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth et al. · 2019 · 141 citations

Computing, Computer Science, Algorithms +16