Verification for Artificial Intelligence and Machine Learning

This post is based on the following publications: Laurens Devos, Wannes Meert, and Jesse Davis. “ Versatile Verification of Tree Ensembles.” To appear in the Proceedings of the 38th International Conference on Machine Learning.