verifiable training

adversarial robustness (1341) hardware nondeterminism (1) training replication (1) model verification (13) robustness guarantee (11) lipschitz certification (2) interval arithmetic (2) neural network (6616) neural decision tree (2) pairwise class similarity (1)