VersatileVerificationofTreeEnsemblesLaurensDevos1WannesMeert1JesseDavis1Abstractpropertyholds.Examplesofverificationquestionsinclude:Machinelearnedmodelsoftenmustabidebycer-•Adversarialexamplegene...
OptimalCounterfactualExplanationsinTreeEnsemblesAxelParmentier1ThibautVidal23Abstracttriggeredextensiveresearchonalgorithmicrecourseandcounterfactualexplanations(see,e.g.,Wachteretal.,2018;Counterf...
Born-againTreeEnsemblesThibautVidal1MaximilianSchiffer2Abstractdochetal.,2019)withnumerousworksfocusingontheconstructionofoptimalsparsetrees(Huetal.,2019)oronTheuseofmachinelearningalgorithmsinfina...
