Rudy Bunel

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth et al. · arXiv (Cornell University) · 2018 · 302 citations · Full text

Computing, Computer Science, Algorithms +16

A Unified View of Piecewise Linear Neural Network Verification

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr et al. · arXiv (Cornell University) · 2017 · 141 citations · Full text

Computing, Computer Science, Artificial Intelligence +10

Scalable Verified Training for Provably Robust Image Classification

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth et al. · 2019 · 141 citations

Computing, Computer Science, Algorithms +16

Scalable watermarking for identifying large language model outputs

Sumanth Dathathri, Abigail See, Sumedh Ghaisas et al. · Nature · 2024 · 93 citations · Full text

Computing, Computer Science, Computational Linguistics +15

Leveraging Grammar and Reinforcement Learning for Neural Program\n Synthesis

Rudy Bunel, Matthew Hausknecht, Jacob Devlin et al. · arXiv (Cornell University) · 2018 · 68 citations · Full text

Computing, Computer Science, Machine Learning +14