7 citations · 10 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 1 cited
Versatile Verification of Tree Ensembles
Laurens Devos, Wannes Meert, Jesse Davis
Machine learned models often must abide by certain requirements (e.g., fairness or legal). This has spurred interested in developing approaches that can provably verify whether a m…
cs.LG2020★ 7 cited
Verifying Tree Ensembles by Reasoning about Potential Instances
Laurens Devos, Wannes Meert, Jesse Davis
Imagine being able to ask questions to a black box model such as "Which adversarial examples exist?", "Does a specific attribute have a disproportionate effect on the model's predi…