Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles

John Törnblom, Simin Nadjm-Tehrani

To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learni…