Rudy Bunel
Rudy Bunel
Deepmind
Adresse e-mail validée de google.com
Titre
Citée par
Citée par
Année
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
124*2018
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
111*2019
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
752018
Neural program meta-induction
J Devlin, RR Bunel, R Singh, M Hausknecht, P Kohli
Advances in Neural Information Processing Systems, 2080-2088, 2017
482017
Adaptive neural compilation
RR Bunel, A Desmaison, PK Mudigonda, P Kohli, P Torr
Advances in Neural Information Processing Systems, 1444-1452, 2016
352016
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
292016
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
182019
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
Learning to superoptimize programs
R Bunel, A Desmaison, MP Kumar, PHS Torr, P Kohli
International Conference on Learning Representations (ICLR), 2017
152017
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
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
112020
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
82019
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
52019
Lagrangian decomposition for neural network verification
A Desmaison, KD Dvijotham, PHS Torr, MP Kumar, A De Palma, R Bunel, ...
AUAI Press, 0
1*
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
2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–15