Rudy Bunel
8 papers
· 2017–2024
· 5 conferences
· across top CS/AI conferences
Achievements
π£
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)