Machine Learning, AI, Deep Learning, Ai Safety.
reconsider training algorithms that produce models that not only fit training data well, but also are consistent with a list of specifications. Formally proving that machine learning models are specification-consistent. There is a need for algorithms that can verify that the model predictions are