| 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 | 536* | 2018 |
| A Dual Approach to Scalable Verification of Deep Networks. K Dvijotham, R Stanforth, S Gowal, TA Mann, P Kohli UAI 1 (2), 3, 2018 | 406 | 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 | 362* | 2021 |
| 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 | 346 | 2022 |
| 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 | 332* | 2021 |
| 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 | 285 | 2019 |
| 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 | 273 | 2019 |
| 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 | 236 | 2020 |
| Training verified learners with learned verifiers K Dvijotham, S Gowal, R Stanforth, R Arandjelovic, B O'Donoghue, ... arXiv preprint arXiv:1805.10265, 2018 | 163 | 2018 |
| 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 | 153 | 2019 |
| 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 | 115 | 2021 |
| 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 | 69 | 2020 |
| 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 | 65 | 2019 |
| 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 | 51 | 2020 |
| Beyond greedy ranking: Slate optimization via list-CVAE R Jiang, S Gowal, TA Mann, DJ Rezende arXiv preprint arXiv:1803.01682, 2018 | 39* | 2018 |
| 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 | 38 | 2019 |
| Graph based distributed control of non-holonomic vehicles endowed with local positioning information engaged in escorting missions R Falconi, S Gowal, A Martinoli 2010 IEEE International Conference on Robotics and Automation, 3207-3214, 2010 | 38 | 2010 |
| 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 | 36 | 2022 |
| 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, ... | 36 | 2020 |
| 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 | 34 | 2021 |
Pushmeet KohliDeepMindVerified email at google.com
