Robert Stanforth

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 30

Top Topics

Diffusion Models

Posterior Marginals

Differentially Private

Top Venues

Publications

Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. ICLR (2024)
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
Verified Neural Compressed Sensing. CoRR (2024)
Leonard Berrada, Soham De, Judy Hanwen Shen, Jamie Hayes, Robert Stanforth, David Stutz, Pushmeet Kohli, Samuel L. Smith, Borja Balle
Unlocking Accuracy and Fairness in Differentially Private Image Classification. CoRR (2023)
Sahra Ghalebikesabi, Leonard Berrada, Sven Gowal, Ira Ktena, Robert Stanforth, Jamie Hayes, Soham De, Samuel L. Smith, Olivia Wiles, Borja Balle
Differentially Private Diffusion Models Generate Useful Synthetic Images. CoRR (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. CoRR (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR (2022)
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications. NeurIPS (2021)
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Verifying Probabilistic Specifications with Functional Lagrangians. CoRR (2021)
Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Martin Szummer, Pushmeet Kohli
Towards Verified Robustness under Text Deletion Interventions. ICLR (2020)
Jim Winkens, Rudy Bunel, Abhijit Guha Roy, Robert Stanforth, Vivek Natarajan, Joseph R. Ledsam, Patricia MacWilliams, Pushmeet Kohli, Alan Karthikesalingam, Simon Kohl, A. Taylan Cemgil, S. M. Ali Eslami, Olaf Ronneberger
Contrastive Training for Improved Out-of-Distribution Detection. CoRR (2020)
Tsui-Wei Weng, Krishnamurthy (Dj) Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control. ICLR (2020)
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation. EMNLP (Findings) (2020)
Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane S. Boning, Cho-Jui Hsieh
Towards Stable and Efficient Training of Verifiably Robust Neural Networks. ICLR (2020)
Jean-Baptiste Alayrac, Jonathan Uesato, Po-Sen Huang, Alhussein Fawzi, Robert Stanforth, Pushmeet Kohli
Are Labels Required for Improving Adversarial Robustness? NeurIPS (2019)
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. EMNLP/IJCNLP (1) (2019)
Jonathan Uesato, Jean-Baptiste Alayrac, Po-Sen Huang, Robert Stanforth, Alhussein Fawzi, Pushmeet Kohli
Are Labels Required for Improving Adversarial Robustness? CoRR (2019)
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. CoRR (2019)
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation. CoRR (2019)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. CoRR (2019)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli
Scalable Verified Training for Provably Robust Image Classification. ICCV (2019)
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli
Adversarial Robustness through Local Linearization. CoRR (2019)
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli
Adversarial Robustness through Local Linearization. NeurIPS (2019)
Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli
Efficient Neural Network Verification with Exactness Characterization. UAI (2019)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Verify and Train Deep Networks. IJCAI (2019)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. ICLR (Poster) (2019)
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Scalable Verification of Deep Networks. UAI (2018)
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Scalable Verification of Deep Networks. CoRR (2018)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models. CoRR (2018)
Edward Grefenstette, Robert Stanforth, Brendan O'Donoghue, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles. CoRR (2018)
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli
Training verified learners with learned verifiers. CoRR (2018)