Подписаться
Rudy Bunel
Rudy Bunel
Google Deepmind
Подтвержден адрес электронной почты в домене google.com
Название
Процитировано
Процитировано
Год
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
623*2019
A unified view of piecewise linear neural network verification
R Bunel, I Turkaslan, PHS Torr, P Kohli, MP Kumar
NeurIPS, 2018
435*2018
Contrastive Training for Improved Out-of-Distribution Detection
AG Roy, A Karthikesalingam, J Winkens, J Ledsam, O Ronneberger, ...
225*2020
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
2222018
Branch and bound for piecewise linear neural network verification
R Bunel, J Lu, I Turkaslan, PHS Torr, P Kohli, MP Kumar
Journal of Machine Learning Research 21 (42), 1-39, 2020
1842020
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
1012020
Neural program meta-induction
J Devlin, R Bunel, R Singh, M Hausknecht, P Kohli
NeurIPS, 2017
882017
Adaptive neural compilation
R Bunel, A Desmaison, P Kohli, PHS Torr, MP Kumar
NeurIPS, 2016
562016
Lagrangian decomposition for neural network verification
MPK Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy ...
Conference on Uncertainty in Artificial Intelligence, 2020
55*2020
Scaling the Convex Barrier With Active Sets
A De Palma, HS Behl, R Bunel, PHS Torr, MP Kumar
ICLR, 2021
542021
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
462021
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
442019
Learning to superoptimize programs
R Bunel, A Desmaison, MP Kumar, PHS Torr, P Kohli
International Conference on Learning Representations (ICLR), 2017
402017
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
382016
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
21*2017
Make sure you're unsure: A framework for verifying probabilistic specifications
L Berrada, S Dathathri, K Dvijotham, R Stanforth, RR Bunel, J Uesato, ...
Advances in Neural Information Processing Systems 34, 11136-11147, 2021
19*2021
An efficient nonconvex reformulation of stagewise convex optimization problems
R Bunel, O Hinder, S Bhojanapalli, K Dvijotham
NeurIPS, 2020
162020
Detection of pedestrians at far distance
R Bunel, F Davoine, P Xu
2016 IEEE International Conference on Robotics and Automation (ICRA), 2326-2331, 2016
142016
IBP regularization for verified adversarial robustness via branch-and-bound
A De Palma, R Bunel, K Dvijotham, MP Kumar, R Stanforth
arXiv preprint arXiv:2206.14772, 2022
132022
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
122019
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20