Rudy R Bunel
9 papers · 2016–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (15) π Academic Marathon (8) π Interdisciplinary Bridge π Conference Polyglot (3) πΊοΈ Taxonomy Completionist (15)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Trend Setter
Conferences
NIPS (6)
ICLR (2)
ICML (1)
Top co-authors
Keywords
neural network verification
(3)
neural network
(3)
adversarial robustness
(2)
transfer learning
(1)
convex optimization
(1)
knowledge transfer
(1)
program synthesis
(1)
formal verification
(1)
convex relaxation
(1)
piecewise linear
(1)
differentiable programming
(1)
projected gradient descent
(1)
duality gap
(1)
out-of-distribution detection
(1)
first-order method
(1)
semidefinite programming
(1)
bayesian neural network
(1)
code optimization
(1)
program induction
(1)
few-shot learning
(1)
Papers
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Efficient Error Certification for Physics-Informed Neural Networks
ICML 2024
Scaling the Convex Barrier with Active Sets
ICLR 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NIPS 2021
An efficient nonconvex reformulation of stagewise convex optimization problems
NIPS 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
NIPS 2020
A Unified View of Piecewise Linear Neural Network Verification
NIPS 2018
Neural Program Meta-Induction
NIPS 2017
Adaptive Neural Compilation
NIPS 2016