Sven Gowal
Sven Gowal
DeepMind
Verified email at google.com
Title
Cited by
Cited by
Year
A Dual Approach to Scalable Verification of Deep Networks.
K Dvijotham, R Stanforth, S Gowal, TA Mann, P Kohli
UAI 1, 2, 2018
1822018
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
1242018
Training verified learners with learned verifiers
K Dvijotham, S Gowal, R Stanforth, R Arandjelovic, B O'Donoghue, ...
arXiv preprint arXiv:1805.10265, 2018
792018
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, 13847-13856, 2019
612019
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
422019
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
322019
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
302010
A new collision warning system for lead vehicles in rear-end collisions
A Cabrera, S Gowal, A Martinoli
2012 IEEE Intelligent Vehicles Symposium, 674-679, 2012
272012
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
202019
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
192019
Beyond greedy ranking: Slate optimization via list-CVAE
R Jiang, S Gowal, TA Mann, DJ Rezende
arXiv preprint arXiv:1803.01682, 2018
162018
Comment on: A Validated Mathematical Model of Cell-Mediated Immune Response to Tumor Growth
S Gowal, M de Giacomi, JY Le Boudec
Cancer Research 67 (17), 8419, 2007
15*2007
A realistic simulator for the design and evaluation of intelligent vehicles
S Gowal, Y Zhang, A Martinoli
13th International IEEE Conference on Intelligent Transportation Systems …, 2010
132010
Real-time Optimization of Trajectories that Guarantee the Rendezvous of Mobile Robots
S Gowal, A Martinoli
IEEE/RSJ International Conference on Intelligent Robots and Systems, 3518-3525, 2012
112012
Local graph-based distributed control for safe highway platooning
S Gowal, R Falconi, A Martinoli
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
112010
Graph-based distributed control for non-holonomic vehicles engaged in a reconfiguration task using local positioning information
R Falconi, S Gowal, J Pugh, A Martinoli
2009 Second International Conference on Robot Communication and Coordination …, 2009
112009
Efficient neural network verification with exactness characterization
KD Dvijotham, R Stanforth, S Gowal, C Qin, S De, P Kohli
Uncertainty in Artificial Intelligence, 497-507, 2020
102020
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, ...
International Conference on Learning Representations, 2019
92019
Scalable verified training for provably robust image classification
S Gowal, KD Dvijotham, R Stanforth, R Bunel, C Qin, J Uesato, ...
Proceedings of the IEEE International Conference on Computer Vision, 4842-4851, 2019
92019
An empirical investigation of the challenges of real-world reinforcement learning
G Dulac-Arnold, N Levine, DJ Mankowitz, J Li, C Paduraru, S Gowal, ...
arXiv preprint arXiv:2003.11881, 2020
82020
The system can't perform the operation now. Try again later.
Articles 1–20