DTAI Stories
DTAI Stories
Home
Highlights
Articles
Research Lines
Tags
ICML
Versatile Verification of Tree Ensembles using Veritas
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.
Cite
×