Sotabase

Career

· DeepMind

Publications (36)

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
arXiv.org · 2018
603
cited
A Unified View of Piecewise Linear Neural Network Verification
Neural Information Processing Systems · 2017
356
cited
Contrastive Training for Improved Out-of-Distribution Detection
arXiv.org · 2020
260
cited
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
International Conference on Learning Representations · 2018
228
cited
Branch and Bound for Piecewise Linear Neural Network Verification
Journal of machine learning research · 2019
216
cited
Scalable watermarking for identifying large language model outputs
Nature · 2024
178
cited
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Neural Information Processing Systems · 2020
101
cited
Piecewise Linear Neural Network verification: A comparative study
arXiv.org · 2017
74
cited
Neural Program Meta-Induction
Neural Information Processing Systems · 2017
73
cited
Scaling the Convex Barrier with Active Sets
International Conference on Learning Representations · 2021
67
cited
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
arXiv.org · 2021
59
cited
Lagrangian Decomposition for Neural Network Verification
Conference on Uncertainty in Artificial Intelligence · 2020
52
cited
Adaptive Neural Compilation
Neural Information Processing Systems · 2016
48
cited
Verification of Non-Linear Specifications for Neural Networks
International Conference on Learning Representations · 2019
45
cited
Efficient Continuous Relaxations for Dense CRF
European Conference on Computer Vision · 2016
27
cited
Expressive Losses for Verified Robustness via Convex Combinations
International Conference on Learning Representations · 2023
26
cited
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
arXiv.org · 2022
20
cited
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Neural Information Processing Systems · 2021
20
cited
An efficient nonconvex reformulation of stagewise convex optimization problems
Neural Information Processing Systems · 2020
17
cited
Efficient Linear Programming for Dense CRFs
Computer Vision and Pattern Recognition · 2016
16
cited
Sotabase
Rudy Bunel | Researcher Profile | Sotabase | Sotabase