no code implementations • 13 Feb 2024 • Lorenzo Cascioli, Laurens Devos, Ondřej Kuželka, Jesse Davis
Tree ensembles are one of the most widely used model classes.
no code implementations • 27 Jun 2022 • Laurens Devos, Wannes Meert, Jesse Davis
We take an alternative approach and attempt to detect adversarial examples in a post-deployment setting.
1 code implementation • 26 Oct 2020 • Laurens Devos, Wannes Meert, Jesse Davis
This paper introduces a generic algorithm called Veritas that enables tackling multiple different verification tasks for tree ensemble models like random forests (RFs) and gradient boosting decision trees (GBDTs).
1 code implementation • 31 Jan 2020 • Laurens Devos, Wannes Meert, Jesse Davis
Imagine being able to ask questions to a black box model such as "Which adversarial examples exist?