Understanding Certified Training with Interval Bound Propagation.

Yuhao Mao Mark Niklas Müller Marc Fischer Martin T. Vechev

Published in: ICLR (2024)

Keyphrases

upper bound
lower bound
training examples
learning algorithm
training set
supervised learning
training algorithm
training process
test set
case study
decision making
artificial intelligence
real world
worst case
online learning
decision trees
serious games
deeper understanding