Follow
Sven Gowal
Sven Gowal
DeepMind
Verified email at deepmind.com
Title
Cited by
Cited by
Year
Competition-level code generation with alphacode
Y Li, D Choi, J Chung, N Kushman, J Schrittwieser, R Leblond, T Eccles, ...
Science 378 (6624), 1092-1097, 2022
6982022
On the effectiveness of interval bound propagation for training verifiably robust models
S Gowal, K Dvijotham, R Stanforth, R Bunel, C Qin, J Uesato, ...
arXiv preprint arXiv:1810.12715, 2018
647*2018
Fixing data augmentation to improve adversarial robustness
SA Rebuffi, S Gowal, DA Calian, F Stimberg, O Wiles, T Mann
arXiv preprint arXiv:2103.01946, 2021
568*2021
Challenges of real-world reinforcement learning: definitions, benchmarks and analysis
G Dulac-Arnold, N Levine, DJ Mankowitz, J Li, C Paduraru, S Gowal, ...
Machine Learning 110 (9), 2419-2468, 2021
489*2021
A Dual Approach to Scalable Verification of Deep Networks.
K Dvijotham, R Stanforth, S Gowal, TA Mann, P Kohli
UAI 1 (2), 3, 2018
4472018
Towards stable and efficient training of verifiably robust neural networks
H Zhang, H Chen, C Xiao, S Gowal, R Stanforth, B Li, D Boning, CJ Hsieh
arXiv preprint arXiv:1906.06316, 2019
3482019
Adversarial robustness through local linearization
C Qin, J Martens, S Gowal, D Krishnan, K Dvijotham, A Fawzi, S De, ...
Advances in neural information processing systems 32, 2019
3172019
Uncovering the limits of adversarial training against norm-bounded adversarial examples
S Gowal, C Qin, J Uesato, T Mann, P Kohli
arXiv preprint arXiv:2010.03593, 2020
3022020
A fine-grained analysis on distribution shift
O Wiles, S Gowal, F Stimberg, S Alvise-Rebuffi, I Ktena, K Dvijotham, ...
arXiv preprint arXiv:2110.11328, 2021
1952021
Achieving verified robustness to symbol substitutions via interval bound propagation
PS Huang, R Stanforth, J Welbl, C Dyer, D Yogatama, S Gowal, ...
arXiv preprint arXiv:1909.01492, 2019
1752019
Training verified learners with learned verifiers
K Dvijotham, S Gowal, R Stanforth, R Arandjelovic, B O'Donoghue, ...
arXiv preprint arXiv:1805.10265, 2018
1712018
An alternative surrogate loss for pgd-based adversarial testing
S Gowal, J Uesato, C Qin, PS Huang, T Mann, P Kohli
arXiv preprint arXiv:1910.09338, 2019
792019
Towards robust image classification using sequential attention models
D Zoran, M Chrzanowski, PS Huang, S Gowal, A Mott, P Kohli
Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2020
742020
Achieving robustness in the wild via adversarial mixing with disentangled representations
S Gowal, C Qin, PS Huang, T Cemgil, K Dvijotham, T Mann, P Kohli
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
612020
Evaluating the adversarial robustness of adaptive test-time defenses
F Croce, S Gowal, T Brunner, E Shelhamer, M Hein, T Cemgil
International Conference on Machine Learning, 4421-4435, 2022
562022
A framework for robustness certification of smoothed classifiers using f-divergences
KD Dvijotham, J Hayes, B Balle, Z Kolter, C Qin, A Gyorgy, K Xiao, ...
512020
The autoencoding variational autoencoder
T Cemgil, S Ghaisas, K Dvijotham, S Gowal, P Kohli
Advances in Neural Information Processing Systems 33, 15077-15087, 2020
472020
Defending against image corruptions through adversarial augmentations
DA Calian, F Stimberg, O Wiles, SA Rebuffi, A Gyorgy, T Mann, S Gowal
arXiv preprint arXiv:2104.01086, 2021
462021
Verification of non-linear specifications for neural networks
C Qin, B O'Donoghue, R Bunel, R Stanforth, S Gowal, J Uesato, ...
arXiv preprint arXiv:1902.09592, 2019
462019
Beyond greedy ranking: Slate optimization via list-CVAE
R Jiang, S Gowal, TA Mann, DJ Rezende
arXiv preprint arXiv:1803.01682, 2018
442018
The system can't perform the operation now. Try again later.
Articles 1–20