Stanforth, Robert

12 publications

TMLR 2025 Privacy Awareness for Information-Sharing Assistants: A Case-Study on Form-Filling with Contextual Integrity 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

ICLR 2024 Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma, Rudy R Bunel, Krishnamurthy Dj Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio

NeurIPS 2021 Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy R Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

ICLR 2020 Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control Tsui-Wei Weng, Krishnamurthy Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli

ICLR 2020 Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane Boning, Cho-Jui Hsieh

ICLR 2020 Towards Verified Robustness Under Text Deletion Interventions Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy Dvijotham, Martin Szummer, Pushmeet Kohli

IJCAI 2019 A Dual Approach to Verify and Train Deep Networks Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli

NeurIPS 2019 Adversarial Robustness Through Local Linearization Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli

NeurIPS 2019 Are Labels Required for Improving Adversarial Robustness? Jean-Baptiste Alayrac, Jonathan Uesato, Po-Sen Huang, Alhussein Fawzi, Robert Stanforth, Pushmeet Kohli

UAI 2019 Efficient Neural Network Verification with Exactness Characterization Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli

ICLR 2019 Verification of Non-Linear Specifications for Neural Networks Chongli Qin, Krishnamurthy Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

UAI 2018 A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli