Rudy Bunel

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 45

Top Topics

Top Venues

Publications

Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. ICLR (2024)
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
Verified Neural Compressed Sensing. CoRR (2024)
Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar
Provably Correct Physics-Informed Neural Networks. CoRR (2023)
Michael Everett, Rudy Bunel, Shayegan Omidshafiei
DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops. IEEE Control. Syst. Lett. 7 (2023)
Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras
Faithful Knowledge Distillation. CoRR (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. CoRR (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR (2022)
Michael Everett, Rudy Bunel, Shayegan Omidshafiei
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops. CoRR (2022)
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition. CoRR (2021)
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications. NeurIPS (2021)
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Verifying Probabilistic Specifications with Functional Lagrangians. CoRR (2021)
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar
Scaling the Convex Barrier with Sparse Dual Algorithms. CoRR (2021)
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Lagrangian Decomposition for Neural Network Verification. UAI (2020)
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. CoRR (2020)
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
An efficient nonconvex reformulation of stagewise convex optimization problems. CoRR (2020)
Jim Winkens, Rudy Bunel, Abhijit Guha Roy, Robert Stanforth, Vivek Natarajan, Joseph R. Ledsam, Patricia MacWilliams, Pushmeet Kohli, Alan Karthikesalingam, Simon Kohl, A. Taylan Cemgil, S. M. Ali Eslami, Olaf Ronneberger
Contrastive Training for Improved Out-of-Distribution Detection. CoRR (2020)
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Branch and Bound for Piecewise Linear Neural Network Verification. J. Mach. Learn. Res. 21 (2020)
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Lagrangian Decomposition for Neural Network Verification. CoRR (2020)
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. NeurIPS (2020)
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS (2020)
Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials. SIAM J. Imaging Sci. 12 (1) (2019)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. CoRR (2019)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli
Scalable Verified Training for Provably Robust Image Classification. ICCV (2019)
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. CVPR (2019)
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Branch and Bound for Piecewise Linear Neural Network Verification. CoRR (2019)
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications. CoRR (2019)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. ICLR (Poster) (2019)
Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. ICLR (Poster) (2018)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models. CoRR (2018)
Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. CoRR (2018)
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, Pawan Kumar Mudigonda
A Unified View of Piecewise Linear Neural Network Verification. NeurIPS (2018)
Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials. CoRR (2018)
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
Neural Program Meta-Induction. NIPS (2017)
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli
Learning to superoptimize programs. ICLR (Poster) (2017)
Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar
Efficient Linear Programming for Dense CRFs. CVPR (2017)
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
Neural Program Meta-Induction. CoRR (2017)
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Piecewise Linear Neural Network verification: A comparative study. CoRR (2017)
Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Efficient Continuous Relaxations for Dense CRF. ECCV (2) (2016)
Rudy Bunel, Franck Davoine, Philippe Xu
Detection of pedestrians at far distance. ICRA (2016)
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli
Learning to superoptimize programs. CoRR (2016)
Rudy Bunel, Alban Desmaison, Pushmeet Kohli, Philip H. S. Torr, Pawan Kumar Mudigonda
Adaptive Neural Compilation. CoRR (2016)
Rudy Bunel, Alban Desmaison, Pawan Kumar Mudigonda, Pushmeet Kohli, Philip H. S. Torr
Adaptive Neural Compilation. NIPS (2016)
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli
Learning to superoptimize programs - Workshop Version. CoRR (2016)
Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Efficient Continuous Relaxations for Dense CRF. CoRR (2016)
Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar
Efficient Linear Programming for Dense CRFs. CoRR (2016)