Rudy Bunel
8 papers · 2017–2024 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (14) π Conference Polyglot Β· Silver
π±
Topic Pioneer
π§
Keyword Pioneer
π
Trend Setter
π
Conference Pioneer
Top co-authors
Research topics
Machine Learning
(7)
Optimization & Theory Β· Machine Learning
(7)
Artificial Intelligence
(6)
Core AI
(6)
Deep Learning
(4)
Learning Types Β· Machine Learning
(3)
Architectures
(2)
Optimization & Theory Β· Deep Learning
(2)
Computer Vision
(1)
Natural Language Processing
(1)
Analysis
(1)
Application Areas
(1)
Applications
(1)
Learning Types Β· Deep Learning
(1)
Keywords
neural network verification
(5)
formal verification
(3)
convex optimization
(2)
adversarial robustness
(2)
program synthesis
(1)
model safety
(1)
neural architecture
(1)
branch and bound
(1)
convex relaxation
(1)
piecewise linear
(1)
mixed integer programming
(1)
linear programming
(1)
block coordinate descent
(1)
adversarial attack
(1)
relu activation
(1)
interval bound propagation
(1)
adversarial perturbation
(1)
conditional random field
(1)
verified accuracy
(1)
sequence-to-sequence model
(1)
Papers
Scaling the Convex Barrier with Sparse Dual Algorithms
JMLR 2024
Branch and Bound for Piecewise Linear Neural Network Verification
JMLR 2020
Lagrangian Decomposition for Neural Network Verification
UAI 2020
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
Verification of Non-Linear Specifications for Neural Networks
ICLR 2019
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
ICLR 2018
Efficient Linear Programming for Dense CRFs
CVPR 2017