papers
Publications (9)
cs.AI2017
Semantic Code Repair using Neuro-Symbolic Transformation Networks
Jacob Devlin, Jonathan Uesato, Rishabh Singh +1
cs.LG2018
Training verified learners with learned verifiers
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth +4
cs.LG2018
Robustness via curvature regularization, and vice versa
Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Jonathan Uesato +1
cs.LG2018
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
Jonathan Uesato, Ananya Kumar, Csaba Szepesvari +7
cs.NE2018
Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles
Edward Grefenstette, Robert Stanforth, Brendan O'Donoghue +3
cs.LG2018
Technical Report on the CleverHans v2.1.0 Adversarial Examples Library
Nicolas Papernot, Fartash Faghri, Nicholas Carlini +23
cs.LG2018
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks
Jonathan Uesato, Brendan O'Donoghue, Aaron van den Oord +1
cs.LG2019
Verification of Non-Linear Specifications for Neural Networks
Chongli Qin, Krishnamurthy, Dvijotham +7
cs.AI2017
RobustFill: Neural Program Learning under Noisy I/O
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju +3