Frederik Gossen

Algebraic aggregation of random forests: towards explainability and rapid evaluation

2021 · International Journal on Software Tools for Technology Transfer

Abstract Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise the outcome of their predictions. However, this comes at a cost: it is increasingly difficult …

Formal Methods Boost Experimental Performance for Explainable AI

2021 · IT Professional

IN “Towards Explainability in Machine Learning: The Formal Methods Way,”1 we illustrated last year how Explainable AI can profit by formal methods in terms of its explainability. In fact, Explainable AI is a new branch …