Mehran Hosseini

neural network verification (2) activation function (2) soft label prediction (2) transformer model (2) adversarial robustness (2) neural network optimization (1) label prediction (1) convolutional neural network (1) variational autoencoder (1) prediction set (1) generative adversarial network (1) positional encoding (1) bayesian neural network (1) soft label (1) mixed-integer linear programming (1) probabilistic robustness (1) gradient-based verification (1) robustness guarantee (1) pre-trained transformer (1) neural network (1)