default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRudy Bunel
Person information
- affiliation: University of Oxford, Department of Engineering Science, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar:
Scaling the Convex Barrier with Sparse Dual Algorithms. J. Mach. Learn. Res. 25: 61:1-61:51 (2024)- [c18]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 - [c17]Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy Dj Dvijotham, Philip Torr, M. Pawan Kumar:
Efficient Error Certification for Physics-Informed Neural Networks. ICML 2024 - [i27]Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth:
Verified Neural Compressed Sensing. CoRR abs/2405.04260 (2024) - [i26]Jason Baldridge, Jakob Bauer, Mukul Bhutani, Nicole Brichtova, Andrew Bunner, Kelvin Chan, Yichang Chen, Sander Dieleman, Yuqing Du, Zach Eaton-Rosen, Hongliang Fei, Nando de Freitas, Yilin Gao, Evgeny Gladchenko, Sergio Gómez Colmenarejo, Mandy Guo, Alex Haig, Will Hawkins, Hexiang Hu, Huilian Huang, Tobenna Peter Igwe, Christos Kaplanis, Siavash Khodadadeh, Yelin Kim, Ksenia Konyushkova, Karol Langner, Eric Lau, Shixin Luo, Sona Mokrá, Henna Nandwani, Yasumasa Onoe, Aäron van den Oord, Zarana Parekh, Jordi Pont-Tuset, Hang Qi, Rui Qian, Deepak Ramachandran, Poorva Rane, Abdullah Rashwan, Ali Razavi, Robert Riachi, Hansa Srinivasan, Srivatsan Srinivasan, Robin Strudel, Benigno Uria, Oliver Wang, Su Wang, Austin Waters, Chris Wolff, Auriel Wright, Zhisheng Xiao, Hao Xiong, Keyang Xu, Marc van Zee, Junlin Zhang, Katie Zhang, Wenlei Zhou, Konrad Zolna, Ola Aboubakar, Canfer Akbulut, Oscar Akerlund, Isabela Albuquerque, Nina Anderson, Marco Andreetto, Lora Aroyo, Ben Bariach, David Barker, Sherry Ben, Dana Berman, Courtney Biles, Irina Blok, Pankil Botadra, Jenny Brennan, Karla Brown, John Buckley, Rudy Bunel, Elie Bursztein, Christina Butterfield, Ben Caine, Viral Carpenter, Norman Casagrande, Ming-Wei Chang, Solomon Chang, Shamik Chaudhuri, Tony Chen, John Choi, Dmitry Churbanau, Nathan Clement, Matan Cohen, Forrester Cole, Mikhail Dektiarev, Vincent Du, Praneet Dutta, Tom Eccles, Ndidi Elue, Ashley Feden, Shlomi Fruchter, Frankie Garcia, Roopal Garg:
Imagen 3. CoRR abs/2408.07009 (2024) - 2023
- [j3]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: 1622-1627 (2023) - [i25]Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar:
Provably Correct Physics-Informed Neural Networks. CoRR abs/2305.10157 (2023) - [i24]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. CoRR abs/2305.13991 (2023) - [i23]Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras:
Faithful Knowledge Distillation. CoRR abs/2306.04431 (2023) - 2022
- [i22]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth:
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR abs/2206.14772 (2022) - [i21]Michael Everett, Rudy Bunel, Shayegan Omidshafiei:
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops. CoRR abs/2212.04646 (2022) - 2021
- [c16]Alessandro De Palma, Harkirat S. Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar:
Scaling the Convex Barrier with Active Sets. ICLR 2021 - [c15]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: 11136-11147 - [i20]Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar:
Scaling the Convex Barrier with Sparse Dual Algorithms. CoRR abs/2101.05844 (2021) - [i19]Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar:
Verifying Probabilistic Specifications with Functional Lagrangians. CoRR abs/2102.09479 (2021) - [i18]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 abs/2104.06718 (2021) - 2020
- [j2]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: 42:1-42:39 (2020) - [c14]Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham:
An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS 2020 - [c13]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 - [c12]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: 370-379 - [i17]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 abs/2002.10410 (2020) - [i16]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 abs/2007.05566 (2020) - [i15]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 abs/2010.11645 (2020) - [i14]Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham:
An efficient nonconvex reformulation of stagewise convex optimization problems. CoRR abs/2010.14322 (2020)
2010 – 2019
- 2019
- [b1]Rudy Bunel:
Formal verification of neural networks. University of Oxford, UK, 2019 - [j1]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): 287-318 (2019) - [c11]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: 12260-12269 - [c10]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: 4841-4850 - [c9]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 - [i13]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 abs/1902.09592 (2019) - [i12]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 abs/1904.12004 (2019) - [i11]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 abs/1909.06588 (2019) - 2018
- [c8]Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli:
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. ICLR (Poster) 2018 - [c7]Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, Pawan Kumar Mudigonda:
A Unified View of Piecewise Linear Neural Network Verification. NeurIPS 2018: 4795-4804 - [i10]Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli:
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. CoRR abs/1805.04276 (2018) - [i9]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 abs/1805.09028 (2018) - [i8]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 abs/1810.12715 (2018) - 2017
- [c6]Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar:
Efficient Linear Programming for Dense CRFs. CVPR 2017: 2934-2942 - [c5]Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli:
Learning to superoptimize programs. ICLR (Poster) 2017 - [c4]Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli:
Neural Program Meta-Induction. NIPS 2017: 2080-2088 - [i7]Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli:
Neural Program Meta-Induction. CoRR abs/1710.04157 (2017) - [i6]Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar:
Piecewise Linear Neural Network verification: A comparative study. CoRR abs/1711.00455 (2017) - 2016
- [c3]Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Efficient Continuous Relaxations for Dense CRF. ECCV (2) 2016: 818-833 - [c2]Rudy Bunel, Franck Davoine, Philippe Xu:
Detection of pedestrians at far distance. ICRA 2016: 2326-2331 - [c1]Rudy Bunel, Alban Desmaison, Pawan Kumar Mudigonda, Pushmeet Kohli, Philip H. S. Torr:
Adaptive Neural Compilation. NIPS 2016: 1444-1452 - [i5]Rudy Bunel, Alban Desmaison, Pushmeet Kohli, Philip H. S. Torr, Pawan Kumar Mudigonda:
Adaptive Neural Compilation. CoRR abs/1605.07969 (2016) - [i4]Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Efficient Continuous Relaxations for Dense CRF. CoRR abs/1608.06192 (2016) - [i3]Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli:
Learning to superoptimize programs. CoRR abs/1611.01787 (2016) - [i2]Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar:
Efficient Linear Programming for Dense CRFs. CoRR abs/1611.09718 (2016) - [i1]Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli:
Learning to superoptimize programs - Workshop Version. CoRR abs/1612.01094 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
