List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A learning-based fact selector for Isabelle/HOL Journal of Automated Reasoning | 2016-10-27 | Paper |
| MaLeS: a framework for automatic tuning of automated theorem provers Journal of Automated Reasoning | 2016-05-26 | Paper |
| Premise selection for mathematics by corpus analysis and kernel methods Journal of Automated Reasoning | 2015-07-02 | Paper |
| scientific article; zbMATH DE number 6423829 (Why is no real title available?) | 2015-04-09 | Paper |
| MaSh: machine learning for Sledgehammer Interactive Theorem Proving | 2013-08-07 | Paper |
| E-MaLeS 1.1 Automated Deduction – CADE-24 | 2013-06-14 | Paper |
| Overview and evaluation of premise selection techniques for large theory mathematics Automated Reasoning | 2012-09-05 | Paper |
| Automated and human proofs in general mathematics: an initial comparison Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Learning2Reason Lecture Notes in Computer Science | 2011-07-29 | Paper |
| Premise selection in the Naproche system Automated Reasoning | 2010-09-14 | Paper |
Research outcomes over time
This page was built for person: Daniel Kühlwein
