Laurens Devos, Wannes Meert, Jesse Davis. Verifying Tree Ensembles by Reasoning about Potential Instances. In Carlotta Demeniconi, Ian Davidson, editors, Proceedings of the 2021 SIAM International Conference on Data Mining, SDM 2021, Virtual Event, April 29 - May 1, 2021. pages 450-458, SIAM, 2021. [doi]
Abstract is missing.