Certified Defenses: Why Tighter Relaxations May Hurt Training?

Nikola Jovanovic Mislav Balunovic Maximilian Baader Martin T. Vechev

Published in: CoRR (2021)

Keyphrases

lower bound
upper bound
training phase
real time
np hard
supervised learning
test set
linear programming relaxation
neural network
feature space
dynamic programming
online learning
lightweight
training process
training algorithm