vix.ing · top · new · best · stats · spec

Rudy Bunel

  1. Scalable watermarking for identifying large language model outputs
    2024/10/23 by Sumanth Dathathri, Abigail See, Sumedh Ghaisas +21 · 1 voice · 85 citations
    Computer Science · #Advanced Malware Detection Techniques #Topic Modeling #Internet Traffic Analysis and Secure E-voting
  2. Learning to superoptimize programs
    2016/11/06 by Rudy Bunel, Bunel, Rudy, Alban Desmaison +8 · 1 voice · 4 citations
    Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.LG
  3. On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
    2018/10/30 by Sven Gowal, Krishnamurthy Dvijotham, Gowal, Sven +15 · 57 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Fault Detection and Control Systems
  4. Branch and Bound for Piecewise Linear Neural Network Verification
    2019/09/14 by Rudy Bunel, Jingyue Lu, Bunel, Rudy +9 · 15 citations
    Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Testing and Debugging Techniques
  5. Contrastive Training for Improved Out-of-Distribution Detection
    2020/07/10 by Jim Winkens, Rudy Bunel, Winkens, Jim +22 · 13 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
  6. Imagen 3
    2024/08/13 by Imagen-Team-Google, :, Jason Baldridge +526 · 1 voice · 4 citations
    Computer Science · Medicine · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Radiomics and Machine Learning in Medical Imaging #cs.CV
  7. Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
    2020/10/22 by Sumanth Dathathri, Dathathri, Sumanth, Krishnamurthy Dvijotham +19 · 4 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Physical Unclonable Functions (PUFs) and Hardware Security
  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. SynthID-Image: Image watermarking at internet scale
    2025/10/10 by Sven Gowal, Gowal, Sven, Rudy Bunel +53 · 3 voices · 3 citations
    Computer Science · #Advanced Steganography and Watermarking Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #cs.AI #cs.CR
  10. Make Sure You're Unsure: A Framework for Verifying Probabilistic\n Specifications
    2021/02/18 by Leonard Berrada, Sumanth Dathathri, Berrada, Leonard +14 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
  11. IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
    2022/06/29 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +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)
  12. Efficient Error Certification for Physics-Informed Neural Networks
    2023/05/17 by Francisco Eiras, Eiras, Francisco, Adel Bibi +9 · 3 citations
    Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Mathematical Physics (math-ph) #Model Reduction and Neural Networks #Neural Networks and Applications
  13. Neural Program Meta-Induction
    2017/10/11 by Jacob Devlin, Devlin, Jacob, Rudy Bunel +7 · 1 citation
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences
  14. Lagrangian Decomposition for Neural Network Verification
    2020/02/24 by Rudy Bunel, Alessandro De Palma, Bunel, Rudy +11 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Advanced Memory and Neural Computing
  15. Scaling the Convex Barrier with Sparse Dual Algorithms
    2021/01/14 by Alessandro De Palma, De Palma, Alessandro, Harkirat Singh Behl +7 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Sparse and Compressive Sensing Techniques #Machine Learning and Algorithms