Rudy R Bunel
9 papers · 2016–2024 · 3 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 ↓+2 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (20)
🧬
Topic Evolution
📈
Trend Setter
Venues
Top co-authors
Research topics
Machine Learning
(7)
Deep Learning
(6)
Optimization & Theory · Machine Learning
(6)
Artificial Intelligence
(5)
Core AI
(4)
Optimization & Theory · Deep Learning
(3)
Learning Types · Deep Learning
(2)
Mathematics & Optimization
(1)
Architectures
(1)
Learning Paradigms
(1)
Learning Types · Machine Learning
(1)
Optimization
(1)
Techniques
(1)
Keywords
neural network verification
(4)
adversarial robustness
(3)
neural network
(3)
formal verification
(2)
knowledge transfer
(1)
adversarial training
(1)
semidefinite programming
(1)
convex relaxation
(1)
convex optimization
(1)
piecewise linear
(1)
linear programming
(1)
differentiable programming
(1)
projected gradient descent
(1)
physics-informed neural network
(1)
duality gap
(1)
interval bound propagation
(1)
partial differential equation
(1)
out-of-distribution detection
(1)
first-order method
(1)
program synthesis
(1)
Papers
Efficient Error Certification for Physics-Informed Neural Networks
ICML 2024
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NeurIPS 2021
Scaling the Convex Barrier with Active Sets
ICLR 2021
An efficient nonconvex reformulation of stagewise convex optimization problems
NeurIPS 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
NeurIPS 2020
A Unified View of Piecewise Linear Neural Network Verification
NeurIPS 2018
Neural Program Meta-Induction
NeurIPS 2017
Adaptive Neural Compilation
NeurIPS 2016