Michael Färber


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.


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


You can download the different versions here: