Krishnamurthy Dvijotham

adversarial robustness (8) neural network verification (7) formal verification (6) uncertainty quantification (3) convex optimization (3) adversarial attack (3) adversarial training (2) interpretable machine learning (2) selective prediction (2) concept bottleneck model (2) text classification (2) convex relaxation (2) interval bound propagation (2) symbol substitution (2) explainable ai (1) policy learning (1) machine translation (1) semidefinite programming (1) representation learning (1) self-supervised learning (1)