Forest GUMP: a tool for verification and explanation

Simple item page
dc.contributor.authorMurtovi, Alnis
dc.contributor.authorBainczyk, Alexander
dc.contributor.authorNolte, Gerrit
dc.contributor.authorSchlüter, Maximilian
dc.contributor.authorSteffen, Bernhard
dc.date.accessioned2025-02-26T10:27:29Z
dc.date.available2025-02-26T10:27:29Z
dc.date.issued2023-05-30
dc.description.abstractIn this paper, we present Forest GUMP (for Generalized, Unifying Merge Process) a tool for verification and precise explanation of Random forests. Besides pre/post-condition-based verification and equivalence checking, Forest GUMP also supports three concepts of explanation, the well-known model explanation and outcome explanation, as well as class characterization, i.e., the precise characterization of all samples that are equally classified. Key technology to achieve these results is algebraic aggregation, i.e., the transformation of a Random Forest into a semantically equivalent, concise white-box representation in terms of Algebraic Decision Diagrams (ADDs). The paper sketches the method and demonstrates the use of Forest GUMP along illustrative examples. This way readers should acquire an intuition about the tool, and the way how it should be used to increase the understanding not only of the considered dataset, but also of the character of Random Forests and the ADD technology, here enriched to comprise infeasible path elimination. As Forest GUMP is publicly available all experiments can be reproduced, modified, and complemented using any dataset that is available in the ARFF format.en
dc.identifier.urihttp://hdl.handle.net/2003/43504
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-25337
dc.language.isoen
dc.relation.ispartofseriesInternational journal on software tools for technology transfer; 25
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectRandom foresten
dc.subjectBinary/algebraic decision diagramen
dc.subjectAggregationen
dc.subjectInfeasible pathsen
dc.subjectVerificationen
dc.subjectEquivalence checkingen
dc.subjectExplainabilityen
dc.subjectRandom seeden
dc.subject.ddc004
dc.subject.rswkRandom Forestde
dc.subject.rswkBinäres Entscheidungsdiagrammde
dc.subject.rswkAggregationde
dc.subject.rswkÄquivalenzde
dc.subject.rswkErklärungde
dc.subject.rswkZufallsgeneratorde
dc.titleForest GUMP: a tool for verification and explanationen
dc.typeText
dc.type.publicationtypeArticle
dcterms.accessRightsopen access
eldorado.secondarypublicationtrue
eldorado.secondarypublication.primarycitationMurtovi, A. et al. (2023) ‘Forest GUMP: a tool for verification and explanation’, International journal on software tools for technology transfer, (25), pp. 287–299. Available at: https://doi.org/10.1007/s10009-023-00702-5
eldorado.secondarypublication.primaryidentifierhttps://doi.org/10.1007/s10009-023-00702-5

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
s10009-023-00702-5.pdf
Size:
6.26 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.82 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

LS 05 Programmiersysteme