Understanding Certified Training with Interval Bound Propagation.

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

Published in: CoRR (2023)

Keyphrases

lower bound
upper bound
test set
training algorithm
worst case
training process
real time
decision making
training set
image sequences
supervised learning
serious games
training phase
feedforward neural networks
structured prediction