Rudy Bunel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | Expressive Losses for Verified Robustness via Convex Combinations. | Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio |
| 2024 | ICML | Efficient Error Certification for Physics-Informed Neural Networks. | Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy Dj Dvijotham, Philip Torr, M. Pawan Kumar |
| 2021 | ICLR | Scaling the Convex Barrier with Active Sets. | Alessandro De Palma, Harkirat S. Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar |
| 2020 | UAI | Lagrangian Decomposition for Neural Network Verification. | Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar |
| 2019 | CVPR | Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. | Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli |
| 2019 | ICCV | Scalable Verified Training for Provably Robust Image Classification. | Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli |
| 2019 | ICLR | Verification of Non-Linear Specifications for Neural Networks. | Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli |
| 2018 | ICLR | Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. | Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli |
| 2017 | CVPR | Efficient Linear Programming for Dense CRFs. | Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar |
| 2017 | ICLR | Learning to superoptimize programs. | Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli |
| 2016 | ECCV | Efficient Continuous Relaxations for Dense CRF. | Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar |
| 2016 | ICRA | Detection of pedestrians at far distance. | Rudy Bunel, Franck Davoine, Philippe Xu |