Robert Stanforth

1. Scalable watermarking for identifying large language model outputs
   2024/10/23 by Sumanth Dathathri, Abigail See, Sumedh Ghaisas +21 · 1 voice · 80 citations
   Computer Science · #Advanced Malware Detection Techniques #Topic Modeling #Internet Traffic Analysis and Secure E-voting
2. On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
   2018/10/30 by Sven Gowal, Krishnamurthy Dvijotham, Gowal, Sven +15 · 46 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Fault Detection and Control Systems
3. A Dual Approach to Scalable Verification of Deep Networks
   2018/03/17 by Krishnamurthy, Robert Stanforth, Dvijotham +7 · 17 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Physical Unclonable Functions (PUFs) and Hardware Security #Integrated Circuits and Semiconductor Failure Analysis
4. Contrastive Training for Improved Out-of-Distribution Detection
   2020/07/10 by Jim Winkens, Winkens, Jim, Rudy Bunel +22 · 11 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
5. Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
   2019/11/08 by Po-Sen Huang, Huang, Po-Sen, Huan Zhang +15 · 8 citations
   Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Hate Speech and Cyberbullying Detection #Machine Learning (cs.LG) #Topic Modeling
6. Are Labels Required for Improving Adversarial Robustness?
   2019/05/31 by Jonathan Uesato, Uesato, Jonathan, Jean-Baptiste Alayrac +9 · 8 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Machine Learning (stat.ML)
7. Differentially Private Diffusion Models Generate Useful Synthetic Images
   2023/02/27 by Sahra Ghalebikesabi, Ghalebikesabi, Sahra, Leonard Berrada +17 · 9 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Privacy-Preserving Technologies in Data #Stochastic Gradient Optimization Techniques
8. Expressive Losses for Verified Robustness via Convex Combinations
   2023/05/23 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +9 · 6 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
9. Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
   2019/09/03 by Po-Sen Huang, Robert Stanforth, Huang, Po-Sen +13 · 4 citations
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Topic Modeling
10. IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
    2022/06/29 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +7 · 3 citations
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
11. Make Sure You're Unsure: A Framework for Verifying Probabilistic\n Specifications
    2021/02/18 by Leonard Berrada, Sumanth Dathathri, Berrada, Leonard +14 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
12. Competitive Adsorption of Phosphate and Arsenate on Goethite
    2001/11/15 by Zhao Hongshao, Robert Stanforth · 17 citations
    Energy · Environmental Science · #Iron oxide chemistry and applications #Phosphorus and nutrient management #Arsenic contamination and mitigation