Michael Färber

Introduction

This page is dedicated to the premise selection suite developed by Michael Färber with Cezary Kaliszyk.

It implements premise selection with three machine learning algorithms:

Furthermore, the package below contains a tool to generate machine learning statistics for predictions, as well as a tool to combine different predictions. The package also includes several datasets to test the tools with.

Statistics

To see statistics for the prediction performance as function of predictor parameters, kindly go to the statistics page.

Downloads

You can download the different versions here: