Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Rudy Bunel

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition


Apr 14, 2021
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

* Submitted for review to JMLR. This is an extended version of our paper in the UAI-20 conference (arXiv:2002.10410) 

  Access Paper or Ask Questions

Verifying Probabilistic Specifications with Functional Lagrangians


Feb 18, 2021
Leonard Berrada, Sumanth Dathathri, Krishnamurthy, Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar


  Access Paper or Ask Questions

Scaling the Convex Barrier with Sparse Dual Algorithms


Jan 26, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

* Previous version: published at ICLR 2021. This extended version: submitted to JMLR 

  Access Paper or Ask Questions

Scaling the Convex Barrier with Active Sets


Jan 14, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

* Published at ICLR 2021 

  Access Paper or Ask Questions

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming


Nov 03, 2020
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli


  Access Paper or Ask Questions

An efficient nonconvex reformulation of stagewise convex optimization problems


Oct 27, 2020
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy, Dvijotham

* First and second authors made equal contribution. To appear in Neurips 2020 

  Access Paper or Ask Questions

Contrastive Training for Improved Out-of-Distribution Detection


Jul 10, 2020
Jim Winkens, Rudy Bunel, Abhijit Guha Roy, Robert Stanforth, Vivek Natarajan, Joseph R. Ledsam, Patricia MacWilliams, Pushmeet Kohli, Alan Karthikesalingam, Simon Kohl, Taylan Cemgil, S. M. Ali Eslami, Olaf Ronneberger


  Access Paper or Ask Questions

Lagrangian Decomposition for Neural Network Verification


Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

Branch and Bound for Piecewise Linear Neural Network Verification


Sep 14, 2019
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar


  Access Paper or Ask Questions

Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications


Apr 26, 2019
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli


  Access Paper or Ask Questions

Verification of Non-Linear Specifications for Neural Networks


Feb 25, 2019
Chongli Qin, Krishnamurthy, Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

* ICLR conference paper 

  Access Paper or Ask Questions

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models


Nov 05, 2018
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials


Oct 26, 2018
Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

A Unified View of Piecewise Linear Neural Network Verification


May 22, 2018
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar

* Updated version of "Piecewise Linear Neural Network verification: A comparative study" 

  Access Paper or Ask Questions

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis


May 22, 2018
Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli

* ICLR 2018 

  Access Paper or Ask Questions

Neural Program Meta-Induction


Oct 11, 2017
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew Hausknecht, Pushmeet Kohli

* 8 Pages + 1 page appendix 

  Access Paper or Ask Questions

Learning to superoptimize programs


Jun 28, 2017
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli

* Accepted to ICLR 2017 

  Access Paper or Ask Questions

Efficient Linear Programming for Dense CRFs


Feb 14, 2017
Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar

* 24 pages, 10 figures and 4 tables 

  Access Paper or Ask Questions

Learning to superoptimize programs - Workshop Version


Dec 04, 2016
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli

* Workshop version for the NIPS NAMPI Workshop. Extended version at arXiv:1611.01787 

  Access Paper or Ask Questions

Efficient Continuous Relaxations for Dense CRF


Aug 22, 2016
Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

Adaptive Neural Compilation


May 26, 2016
Rudy Bunel, Alban Desmaison, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

* Submitted to NIPS 2016, code and supplementary materials will be available on author's page 

  Access Paper or Ask Questions