Daniel Kuehlwein
I am a PhD student at the Institute
for Computing and Information Sciences (ICIS)
Machine Learning and Fountations Group, Faculty of Science
Radboud University Nijmegen
E-mail: kuehlwein[at]science.ru.nl
I did my Diplom at the Mathematical Institute
of the
University of Bonn
My research interests are in machine learning and automated reasoning. I am working on kernel-based methods for premise selection in automated reasoning in mathematical domains. I also used kernels to improve the automatic strategy selection of automated theorem provers. For my diplom thesis, I co-developed the Naproche System.
Publications
My published publications can be found on my Mendely page.
Preprints
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.
Submitted to JAR, 2011.
Multi-Output Ranking for Automated Reasoning.
KDIR, 2011.
Software
E-MaLeS 1.0
-
E-MaLeS 1.0 is an automated theorem prover which is based on E prover.
E-MaleS 1.0 uses E with different strategies than the standard auto mode. Furthermore it employs strategy splitting, e.g. it runs several strategies.
Note that this version is very CASC focused. You can download the code here.
Multi-Output Ranker (Code used in "Multi-Output Ranking for Automated Reasoning")
-
Contains the code and the data used in the experiments of the paper "Multi-Output Ranking for Automated Reasoning"
You can download the code here.