Rudy Bunel - RankMe

51 papers A* 11A 1Journal 32Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	SynthID-Image: Image watermarking at internet scale. CoRR Sven Gowal, Rudy Bunel, Florian Stimberg, David Stutz, Guillermo Ortiz-Jiménez, Christina Kouridi, Mel Vecerík, Jamie Hayes, Sylvestre-Alvise Rebuffi, Paul Bernard, Chris Gamble, Miklós Z. Horváth, Fabian Kaczmarczyck, Alex Kaskasoli, Aleksandar Petrov, Ilia Shumailov, Meghana Thotakuri, Olivia Wiles, Jessica Yung, Zahra Ahmed, Victor Martin, Simon Rosen, Christopher Savcak, Armin Senoner, Nidhi Vyas, Pushmeet Kohli
2024	A*	`conf`	Efficient Error Certification for Physics-Informed Neural Networks. ICML Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy Dj Dvijotham, Philip Torr, M. Pawan Kumar
2024	A*	`conf`	Expressive Losses for Verified Robustness via Convex Combinations. ICLR Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2024	J	`jnl`	Scalable watermarking for identifying large language model outputs. Nat. Sumanth Dathathri, Abigail See, Sumedh Ghaisas, Po-Sen Huang, Rob McAdam, Johannes Welbl, Vandana Bachani, Alex Kaskasoli, Robert Stanforth, Tatiana Matejovicova, Jamie Hayes, Nidhi Vyas, Majd Al Merey, Jonah Brown-Cohen, Rudy Bunel, Borja Balle, A. Taylan Cemgil, Zahra Ahmed, Kitty Stacpoole, Ilia Shumailov, Ciprian Baetu, Sven Gowal, Demis Hassabis, Pushmeet Kohli
2024	J	`jnl`	Scaling the Convex Barrier with Sparse Dual Algorithms. J. Mach. Learn. Res. Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar
2024	J	`jnl`	Verified Neural Compressed Sensing. CoRR Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
2023	J	`jnl`	DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops. IEEE Control. Syst. Lett. Michael Everett, Rudy Bunel, Shayegan Omidshafiei
2023	J	`jnl`	Expressive Losses for Verified Robustness via Convex Combinations. CoRR Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
2023	J	`jnl`	Faithful Knowledge Distillation. CoRR Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras
2023	J	`jnl`	Provably Correct Physics-Informed Neural Networks. CoRR Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar
2022	J	`jnl`	DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops. CoRR Michael Everett, Rudy Bunel, Shayegan Omidshafiei
2022	J	`jnl`	IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
2021	J	`jnl`	Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition. CoRR Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2021	A*	`conf`	Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications. NeurIPS Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
2021	A*	`conf`	Scaling the Convex Barrier with Active Sets. ICLR Alessandro De Palma, Harkirat S. Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar
2021	J	`jnl`	Scaling the Convex Barrier with Sparse Dual Algorithms. CoRR Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar
2021	J	`jnl`	Verifying Probabilistic Specifications with Functional Lagrangians. CoRR Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
2020	A*	`conf`	An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
2020	J	`jnl`	An efficient nonconvex reformulation of stagewise convex optimization problems. CoRR Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
2020	J	`jnl`	Branch and Bound for Piecewise Linear Neural Network Verification. J. Mach. Learn. Res. Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
2020	J	`jnl`	Contrastive Training for Improved Out-of-Distribution Detection. CoRR 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
2020	A*	`conf`	Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. NeurIPS Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli
2020	J	`jnl`	Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. CoRR Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli
2020	A	`conf`	Lagrangian Decomposition for Neural Network Verification. UAI Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2020	J	`jnl`	Lagrangian Decomposition for Neural Network Verification. CoRR Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2019	J	`jnl`	Branch and Bound for Piecewise Linear Neural Network Verification. CoRR Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
2019	J	`jnl`	Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials. SIAM J. Imaging Sci. Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2019	—	`—`	Formal verification of neural networks Rudy Bunel
2019	A*	`conf`	Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. CVPR Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
2019	J	`jnl`	Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications. CoRR Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
2019	A*	`conf`	Scalable Verified Training for Provably Robust Image Classification. ICCV Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli
2019	—	`conf`	Verification of Non-Linear Specifications for Neural Networks. ICLR (Poster) Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
2019	J	`jnl`	Verification of Non-Linear Specifications for Neural Networks. CoRR Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
2018	A*	`conf`	A Unified View of Piecewise Linear Neural Network Verification. NeurIPS Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, Pawan Kumar Mudigonda
2018	J	`jnl`	Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials. CoRR Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2018	—	`conf`	Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. ICLR (Poster) Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
2018	J	`jnl`	Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. CoRR Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
2018	J	`jnl`	On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models. CoRR Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli
2017	A*	`conf`	Efficient Linear Programming for Dense CRFs. CVPR Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar
2017	—	`conf`	Learning to superoptimize programs. ICLR (Poster) Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli
2017	—	`conf`	Neural Program Meta-Induction. NIPS Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
2017	J	`jnl`	Neural Program Meta-Induction. CoRR Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
2017	J	`jnl`	Piecewise Linear Neural Network verification: A comparative study. CoRR Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
2016	—	`conf`	Adaptive Neural Compilation. NIPS Rudy Bunel, Alban Desmaison, Pawan Kumar Mudigonda, Pushmeet Kohli, Philip H. S. Torr
2016	J	`jnl`	Adaptive Neural Compilation. CoRR Rudy Bunel, Alban Desmaison, Pushmeet Kohli, Philip H. S. Torr, Pawan Kumar Mudigonda
2016	A*	`conf`	Detection of pedestrians at far distance. ICRA Rudy Bunel, Franck Davoine, Philippe Xu
2016	—	`conf`	Efficient Continuous Relaxations for Dense CRF. ECCV (2) Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2016	J	`jnl`	Efficient Continuous Relaxations for Dense CRF. CoRR Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
2016	J	`jnl`	Efficient Linear Programming for Dense CRFs. CoRR Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar
2016	J	`jnl`	Learning to superoptimize programs - Workshop Version. CoRR Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli
2016	J	`jnl`	Learning to superoptimize programs. CoRR Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli