Get started
Author

Rudy Bunel

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
2018 · Gowal, Sven, Dvijotham, Krishnamurthy, et al. · arXiv (Cornell University) · 274
PDF
A Unified View of Piecewise Linear Neural Network Verification
2017 · Bunel, Rudy, Turkaslan, Ilker, et al. · arXiv (Cornell University) · 204
PDF
Scalable Verified Training for Provably Robust Image Classification
2019 · Sven Gowal, Krishnamurthy Dvijotham, et al. · IEEE/CVF International Conference on Computer Vision (ICCV) · 144
Scalable watermarking for identifying large language model outputs
2024 · Sumanth Dathathri, Abigail See, et al. · Nature · 132
PDF
Contrastive Training for Improved Out-of-Distribution Detection
2020 · Winkens, Jim, Bunel, Rudy, et al. · arXiv (Cornell University) · 122
PDF
Branch and Bound for Piecewise Linear Neural Network Verification
2019 · Bunel, Rudy, Lu, Jingyue, et al. · arXiv (Cornell University) · 103
PDF
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
2018 · Bunel, Rudy, Hausknecht, Matthew, et al. · arXiv (Cornell University) · 94
PDF
Piecewise Linear Neural Networks verification: A comparative study
2017 · Rudy Bunel, Ilker Turkaslan, et al. · arXiv (Cornell University) · 45
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
2020 · Dathathri, Sumanth, Dvijotham, Krishnamurthy, et al. · arXiv (Cornell University) · 31
PDF
Adaptive Neural Compilation
2016 · Bunel, Rudy, Desmaison, Alban, et al. · arXiv (Cornell University) · 27
PDF
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
2021 · De Palma, Alessandro, Bunel, Rudy, et al. · arXiv (Cornell University) · 22
PDF
Verification of Non-Linear Specifications for Neural Networks
2019 · Qin, Chongli, Krishnamurthy, et al. · arXiv (Cornell University) · 19
PDF
Learning to superoptimize programs
2016 · Bunel, Rudy, Desmaison, Alban, et al. · arXiv (Cornell University) · 19
PDF
Efficient Continuous Relaxations for Dense CRF
2016 · Alban Desmaison, Rudy Bunel, et al. · Lecture notes in computer science · 18
Lagrangian Decomposition for Neural Network Verification
2020 · Bunel, Rudy, De Palma, Alessandro, et al. · arXiv (Cornell University) · 17
PDF
Neural Program Meta-Induction
2017 · Devlin, Jacob, Bunel, Rudy, et al. · arXiv (Cornell University) · 14
PDF
Efficient Linear Programming for Dense CRFs
2017 · Thalaiyasingam Ajanthan, Alban Desmaison, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 11
PDF
Detection of pedestrians at far distance
2016 · Rudy Bunel, Franck Davoine, et al. · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 11
Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials
2019 · Thomas Joy, Alban Desmaison, et al. · SIAM Journal on Imaging Sciences · 10
PDF
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
2021 · Berrada, Leonard, Dathathri, Sumanth, et al. · arXiv (Cornell University) · 8
PDF
Scaling the Convex Barrier with Active Sets
2021 · Alessandro De Palma, Harkirat Singh Behl, et al. · arXiv (Cornell University) · 8
An efficient nonconvex reformulation of stagewise convex optimization problems
2020 · Bunel, Rudy, Hinder, Oliver, et al. · arXiv (Cornell University) · 8
PDF
DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops
2023 · Michael Everett, Rudy Bunel, et al. · IEEE Control Systems Letters · 7
PDF
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
2022 · De Palma, Alessandro, Bunel, Rudy, et al. · arXiv (Cornell University) · 7
PDF
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications
2019 · Chenglong Wang, Rudy Bunel, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 7
PDF
Works count: 37
Citation count: 1,376
H-index: 15
I10-index: 19
Year
Topic
Type