Rudy Bunel
8 papers · 2017–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (7)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(11)
π
Conference Pioneer
Conferences
CVPR (2)
ICLR (2)
JMLR (2)
ICCV (1)
UAI (1)
Top co-authors
Keywords
neural network verification
(4)
formal verification
(3)
convex optimization
(2)
adversarial robustness
(2)
piecewise linear
(1)
mixed integer programming
(1)
linear programming
(1)
block coordinate descent
(1)
adversarial attack
(1)
relu activation
(1)
interval bound propagation
(1)
conditional random field
(1)
verified accuracy
(1)
bound computation
(1)
lagrangian decomposition
(1)
frank-wolfe optimization
(1)
provable robustness
(1)
output length
(1)
dual algorithm
(1)
variable-length output
(1)
Papers
Scaling the Convex Barrier with Sparse Dual Algorithms
JMLR 2024
Lagrangian Decomposition for Neural Network Verification
UAI 2020
Branch and Bound for Piecewise Linear Neural Network Verification
JMLR 2020
Verification of Non-Linear Specifications for Neural Networks
ICLR 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications
CVPR 2019
Scalable Verified Training for Provably Robust Image Classification
ICCV 2019
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
ICLR 2018
Efficient Linear Programming for Dense CRFs
CVPR 2017