| 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 | 153* | 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 | 150* | 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 | 85 | 2018 |
| Neural program meta-induction J Devlin, RR Bunel, R Singh, M Hausknecht, P Kohli Advances in Neural Information Processing Systems, 2080-2088, 2017 | 50 | 2017 |
| Adaptive neural compilation RR Bunel, A Desmaison, PK Mudigonda, P Kohli, P Torr Advances in Neural Information Processing Systems 29, 1444-1452, 2016 | 36 | 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 | 29 | 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 | 22 | 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 | 18* | 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 | 17 | 2020 |
| Learning to superoptimize programs R Bunel, A Desmaison, MP Kumar, PHS Torr, P Kohli International Conference on Learning Representations (ICLR), 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 | 14 | 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 | 9 | 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 | 7 | 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 | 5 | 2019 |
| Lagrangian decomposition for neural network verification MPK Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy ... Conference on Uncertainty in Artificial Intelligence, 2020 | 3* | 2020 |
| An efficient nonconvex reformulation of stagewise convex optimization problems R Bunel, O Hinder, S Bhojanapalli arXiv preprint arXiv:2010.14322, 2020 | 1 | 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 | 1 | 2020 |
Pushmeet KohliDeepMindVerified email at google.com
