CTBENCH: A Library and Benchmark for Certified Training.

Yuhao Mao Stefan Balauca Martin T. Vechev

Published in: CoRR (2024)

Keyphrases

test set
artificial intelligence
training set
small number
supervised learning
training algorithm
databases
website
web services
bayesian networks
multi class
virtual environment
training samples
comparative analysis
training phase
feedforward neural networks