Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Jonathan Uesato

Verifying Probabilistic Specifications with Functional Lagrangians


Feb 18, 2021
Leonard Berrada, Sumanth Dathathri, Krishnamurthy, Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar


  Access Paper or Ask Questions

Avoiding Tampering Incentives in Deep RL via Decoupled Approval


Nov 17, 2020
Jonathan Uesato, Ramana Kumar, Victoria Krakovna, Tom Everitt, Richard Ngo, Shane Legg


  Access Paper or Ask Questions

REALab: An Embedded Perspective on Tampering


Nov 17, 2020
Ramana Kumar, Jonathan Uesato, Richard Ngo, Tom Everitt, Victoria Krakovna, Shane Legg


  Access Paper or Ask Questions

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming


Nov 03, 2020
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli


  Access Paper or Ask Questions

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


Oct 27, 2020
Sven Gowal, Chongli Qin, Jonathan Uesato, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

An Alternative Surrogate Loss for PGD-based Adversarial Testing


Oct 21, 2019
Sven Gowal, Jonathan Uesato, Chongli Qin, Po-Sen Huang, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Verification of Non-Linear Specifications for Neural Networks


Feb 25, 2019
Chongli Qin, Krishnamurthy, Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

* ICLR conference paper 

  Access Paper or Ask Questions

Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures


Dec 04, 2018
Jonathan Uesato, Ananya Kumar, Csaba Szepesvari, Tom Erez, Avraham Ruderman, Keith Anderson, Krishmamurthy, Dvijotham, Nicolas Heess, Pushmeet Kohli


  Access Paper or Ask Questions

Robustness via curvature regularization, and vice versa


Nov 23, 2018
Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Jonathan Uesato, Pascal Frossard


  Access Paper or Ask Questions

Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles


Nov 22, 2018
Edward Grefenstette, Robert Stanforth, Brendan O'Donoghue, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

* 12 pages 

  Access Paper or Ask Questions

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


Nov 05, 2018
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Technical Report on the CleverHans v2.1.0 Adversarial Examples Library


Jun 27, 2018
Nicolas Papernot, Fartash Faghri, Nicholas Carlini, Ian Goodfellow, Reuben Feinman, Alexey Kurakin, Cihang Xie, Yash Sharma, Tom Brown, Aurko Roy, Alexander Matyasko, Vahid Behzadan, Karen Hambardzumyan, Zhishuai Zhang, Yi-Lin Juang, Zhi Li, Ryan Sheatsley, Abhibhav Garg, Jonathan Uesato, Willi Gierke, Yinpeng Dong, David Berthelot, Paul Hendricks, Jonas Rauber, Rujun Long, Patrick McDaniel

* Technical report for https://github.com/tensorflow/cleverhans 

  Access Paper or Ask Questions

Adversarial Risk and the Dangers of Evaluating Against Weak Attacks


Jun 12, 2018
Jonathan Uesato, Brendan O'Donoghue, Aaron van den Oord, Pushmeet Kohli


  Access Paper or Ask Questions

Training verified learners with learned verifiers


May 29, 2018
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli


  Access Paper or Ask Questions

Semantic Code Repair using Neuro-Symbolic Transformation Networks


Oct 30, 2017
Jacob Devlin, Jonathan Uesato, Rishabh Singh, Pushmeet Kohli


  Access Paper or Ask Questions

RobustFill: Neural Program Learning under Noisy I/O


Mar 21, 2017
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, Pushmeet Kohli

* 8 pages + 9 pages of supplementary material 

  Access Paper or Ask Questions