Rudy Bunel
Rudy Bunel
Verified email at
Cited by
Cited by
Scalable verified training for provably robust image classification
S Gowal, KD Dvijotham, R Stanforth, R Bunel, C Qin, J Uesato, ...
Proceedings of the IEEE International Conference on Computer Vision, 4842-4851, 2019
A unified view of piecewise linear neural network verification
RR Bunel, I Turkaslan, P Torr, P Kohli, PK Mudigonda
Advances in Neural Information Processing Systems, 4790-4799, 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
Neural program meta-induction
J Devlin, RR Bunel, R Singh, M Hausknecht, P Kohli
Advances in Neural Information Processing Systems, 2080-2088, 2017
Adaptive neural compilation
RR Bunel, A Desmaison, PK Mudigonda, P Kohli, P Torr
Advances in Neural Information Processing Systems 29, 1444-1452, 2016
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
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
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
Branch and bound for piecewise linear neural network verification
R Bunel, J Lu, I Turkaslan, P Kohli, P Torr, P Mudigonda
Journal of Machine Learning Research 21 (2020), 2020
Learning to superoptimize programs
R Bunel, A Desmaison, MP Kumar, PHS Torr, P Kohli
International Conference on Learning Representations (ICLR), 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
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 Conference on Computer Vision and Pattern …, 2019
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
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
Lagrangian decomposition for neural network verification
MPK Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy ...
Conference on Uncertainty in Artificial Intelligence, 2020
An efficient nonconvex reformulation of stagewise convex optimization problems
R Bunel, O Hinder, S Bhojanapalli
arXiv preprint arXiv:2010.14322, 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
S Dathathri, K Dvijotham, A Kurakin, A Raghunathan, J Uesato, R Bunel, ...
arXiv preprint arXiv:2010.11645, 2020
The system can't perform the operation now. Try again later.
Articles 1–17