Rudy Bunel
Rudy Bunel
Deepmind
Verified email at google.com
Title
Cited by
Cited by
Year
Scalable verified training for provably robust image classification
S Gowal, KD Dvijotham, R Stanforth, R Bunel, C Qin, J Uesato, ...
Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2019
254*2019
A unified view of piecewise linear neural network verification
R Bunel, I Turkaslan, PHS Torr, P Kohli, MP Kumar
NeurIPS, 2018
204*2018
Leveraging grammar and reinforcement learning for neural program synthesis
R Bunel, M Hausknecht, J Devlin, R Singh, P Kohli
International Conference on Learning Representations (ICLR), 2018
1102018
Neural program meta-induction
J Devlin, R Bunel, R Singh, M Hausknecht, P Kohli
NeurIPS, 2017
602017
Contrastive training for improved out-of-distribution detection
J Winkens, R Bunel, AG Roy, R Stanforth, V Natarajan, JR Ledsam, ...
arXiv preprint arXiv:2007.05566, 2020
432020
Adaptive neural compilation
R Bunel, A Desmaison, P Kohli, PHS Torr, MP Kumar
NeurIPS, 2016
432016
Branch and bound for piecewise linear neural network verification
R Bunel, P Mudigonda, I Turkaslan, P Torr, J Lu, P Kohli
Journal of Machine Learning Research 21 (2020), 2020
422020
Efficient continuous relaxations for dense CRF
A Desmaison, R Bunel, P Kohli, PHS Torr, MP Kumar
European Conference on Computer Vision (ECCV), 818-833, 2016
302016
Verification of non-linear specifications for neural networks
C Qin, B O'Donoghue, R Bunel, R Stanforth, S Gowal, J Uesato, ...
International Conference on Learning Representation (ICLR), 2019
282019
Learning to superoptimize programs
R Bunel, A Desmaison, MP Kumar, PHS Torr, P Kohli
International Conference on Learning Representations (ICLR), 2017
252017
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
S Dathathri, K Dvijotham, A Kurakin, A Raghunathan, J Uesato, R Bunel, ...
NeurIPS, 2020
182020
Efficient linear programming for dense crfs
A Thalaiyasingam, A Desmaison, R Bunel, M Salzmann, PHS Torr, ...
IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2017
17*2017
Detection of pedestrians at far distance
R Bunel, F Davoine, P Xu
2016 IEEE International Conference on Robotics and Automation (ICRA), 2326-2331, 2016
162016
Lagrangian decomposition for neural network verification
MPK Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy ...
Conference on Uncertainty in Artificial Intelligence, 2020
15*2020
Knowing when to stop: Evaluation and verification of conformity to output-size specifications
C Wang, R Bunel, K Dvijotham, PS Huang, E Grefenstette, P Kohli
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
102019
Efficient relaxations for dense crfs with sparse higher-order potentials
T Joy, A Desmaison, T Ajanthan, R Bunel, M Salzmann, P Kohli, PHS Torr, ...
SIAM Journal on Imaging Sciences 12 (1), 287-318, 2019
72019
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
A De Palma, R Bunel, A Desmaison, K Dvijotham, P Kohli, PHS Torr, ...
arXiv preprint arXiv:2104.06718, 2021
42021
Scaling the Convex Barrier With Active Sets
A De Palma, HS Behl, R Bunel, PHS Torr, MP Kumar
ICLR, 2021
42021
An efficient nonconvex reformulation of stagewise convex optimization problems
R Bunel, O Hinder, S Bhojanapalli, K Dvijotham
NeurIPS, 2020
42020
Verifying probabilistic specifications with functional lagrangians
L Berrada, S Dathathri, R Stanforth, R Bunel, J Uesato, S Gowal, ...
arXiv preprint arXiv:2102.09479, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20