Rudy R Bunel

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)