Bunel, Rudy R

9 publications

ICML 2024 Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras, Adel Bibi, Rudy R Bunel, Krishnamurthy Dj Dvijotham, Philip Torr, M. Pawan Kumar

ICLR 2024 Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma, Rudy R Bunel, Krishnamurthy Dj Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio

NeurIPS 2021 Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy R Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

ICLR 2021 Scaling the Convex Barrier with Active Sets Alessandro De Palma, Harkirat Behl, Rudy R Bunel, Philip Torr, M. Pawan Kumar

NeurIPS 2020 An Efficient Nonconvex Reformulation of Stagewise Convex Optimization Problems Rudy R Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham

NeurIPS 2020 Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy R Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli

NeurIPS 2018 A Unified View of Piecewise Linear Neural Network Verification Rudy R Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli, Pawan K Mudigonda

NeurIPS 2017 Neural Program Meta-Induction Jacob Devlin, Rudy R Bunel, Rishabh Singh, Matthew Hausknecht, Pushmeet Kohli

NeurIPS 2016 Adaptive Neural Compilation Rudy R Bunel, Alban Desmaison, Pawan K Mudigonda, Pushmeet Kohli, Philip Torr