Mislav Balunovic

Privacy (2)

adversarial robustness (4) formal verification (3) robustness certification (2) federated learning (2) computer vision (2) convex optimization (1) policy learning (1) privacy attack (1) text reconstruction (1) symbolic reasoning (1) semi-supervised learning (1) program synthesis (1) adversarial attack (1) convex relaxation (1) domain knowledge (1) gradient-based method (1) uncertainty quantification (1) latent representation (1) tree search (1) adversarial learning (1)