Explaining Predictions From Tree Ensembles with Satisfying Assignments
Title: Explaining Predictions From Tree Ensembles with Satisfying Assignments
SNIC Project: LiU-compute-2022-14
Project Type: LiU Compute
Principal Investigator: John Törnblom <john.tornblom@liu.se>
Affiliation: Linköpings universitet
Duration: 2022-04-18 – 2023-05-01
Classification: 10201
Homepage: https://liu.se/en/article/verifikation-av-larande-mjukvara-for-sakerhetskritiska-system
Keywords:

Abstract

In this project, we are developing formal abduction tools to explain predication made by tree ensembles. In order to evaluate our algorithms, we need a significant amount of computing resources.