Robert Stanforth

33 papers A* 9A 2Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Privacy Awareness for Information-Sharing Assistants: A Case-study on Form-filling with Contextual Integrity.
Trans. Mach. Learn. Res.
Sahra Ghalebikesabi, Eugene Bagdasarian, Ren Yi, Itay Yona, Ilia Shumailov, Aneesh Pappu, Chongyang Shi, Laura Weidinger, Robert Stanforth, Leonard Berrada, Pushmeet Kohli, Po-Sen Huang, Borja Balle
2024 A* conf
Expressive Losses for Verified Robustness via Convex Combinations.
ICLR
Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2024 J jnl
Operationalizing Contextual Integrity in Privacy-Conscious Assistants.
CoRR
Sahra Ghalebikesabi, Eugene Bagdasaryan, Ren Yi, Itay Yona, Ilia Shumailov, Aneesh Pappu, Chongyang Shi, Laura Weidinger, Robert Stanforth, Leonard Berrada, Pushmeet Kohli, Po-Sen Huang, Borja Balle
2024 J jnl
Scalable watermarking for identifying large language model outputs.
Nat.
Sumanth Dathathri, Abigail See, Sumedh Ghaisas, Po-Sen Huang, Rob McAdam, Johannes Welbl, Vandana Bachani, Alex Kaskasoli, Robert Stanforth, Tatiana Matejovicova, Jamie Hayes, Nidhi Vyas, Majd Al Merey, Jonah Brown-Cohen, Rudy Bunel, Borja Balle, A. Taylan Cemgil, Zahra Ahmed, Kitty Stacpoole, Ilia Shumailov, Ciprian Baetu, Sven Gowal, Demis Hassabis, Pushmeet Kohli
2024 J jnl
Verified Neural Compressed Sensing.
CoRR
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
2023 J jnl
Differentially Private Diffusion Models Generate Useful Synthetic Images.
CoRR
Sahra Ghalebikesabi, Leonard Berrada, Sven Gowal, Ira Ktena, Robert Stanforth, Jamie Hayes, Soham De, Samuel L. Smith, Olivia Wiles, Borja Balle
2023 J jnl
Expressive Losses for Verified Robustness via Convex Combinations.
CoRR
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2023 J jnl
Unlocking Accuracy and Fairness in Differentially Private Image Classification.
CoRR
Leonard Berrada, Soham De, Judy Hanwen Shen, Jamie Hayes, Robert Stanforth, David Stutz, Pushmeet Kohli, Samuel L. Smith, Borja Balle
2022 J jnl
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound.
CoRR
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
2021 A* conf
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications.
NeurIPS
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
2021 J jnl
Verifying Probabilistic Specifications with Functional Lagrangians.
CoRR
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
2020 J jnl
Contrastive Training for Improved Out-of-Distribution Detection.
CoRR
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
2020 — conf
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation.
EMNLP (Findings)
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli
2020 A* conf
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control.
ICLR
Tsui-Wei Weng, Krishnamurthy (Dj) Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli
2020 A* conf
Towards Stable and Efficient Training of Verifiably Robust Neural Networks.
ICLR
Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane S. Boning, Cho-Jui Hsieh
2020 A* conf
Towards Verified Robustness under Text Deletion Interventions.
ICLR
Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Martin Szummer, Pushmeet Kohli
2019 A* conf
A Dual Approach to Verify and Train Deep Networks.
IJCAI
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli
2019 — conf
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation.
EMNLP/IJCNLP (1)
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli
2019 J jnl
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation.
CoRR
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli
2019 A* conf
Adversarial Robustness through Local Linearization.
NeurIPS
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli
2019 J jnl
Adversarial Robustness through Local Linearization.
CoRR
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli
2019 A* conf
Are Labels Required for Improving Adversarial Robustness?
NeurIPS
Jean-Baptiste Alayrac, Jonathan Uesato, Po-Sen Huang, Alhussein Fawzi, Robert Stanforth, Pushmeet Kohli
2019 J jnl
Are Labels Required for Improving Adversarial Robustness?
CoRR
Jonathan Uesato, Jean-Baptiste Alayrac, Po-Sen Huang, Robert Stanforth, Alhussein Fawzi, Pushmeet Kohli
2019 A conf
Efficient Neural Network Verification with Exactness Characterization.
UAI
Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli
2019 J jnl
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation.
CoRR
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli
2019 A* conf
Scalable Verified Training for Provably Robust Image Classification.
ICCV
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli
2019 — conf
Verification of Non-Linear Specifications for Neural Networks.
ICLR (Poster)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
2019 J jnl
Verification of Non-Linear Specifications for Neural Networks.
CoRR
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
2018 A conf
A Dual Approach to Scalable Verification of Deep Networks.
UAI
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
2018 J jnl
A Dual Approach to Scalable Verification of Deep Networks.
CoRR
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
2018 J jnl
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.
CoRR
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli
2018 J jnl
Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles.
CoRR
Edward Grefenstette, Robert Stanforth, Brendan O'Donoghue, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
2018 J jnl
Training verified learners with learned verifiers.
CoRR
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli