On the Paradox of Certified Training.

Nikola Jovanovic Mislav Balunovic Maximilian Baader Martin T. Vechev

Published in: Trans. Mach. Learn. Res. (2022)

Keyphrases

feed forward neural networks
training algorithm
training process
artificial intelligence
computer software
search algorithm
training set
artificial neural networks
online learning
technical support
neural network
training phase
test set
support vector machine
multiresolution
video sequences
training data
e learning