Daniel Kühlwein

According to our database, Daniel Kühlwein authored at least 14 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Learning-Based Fact Selector for Isabelle/HOL.

Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban

J. Autom. Reason., 2016

2015

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers.

Daniel Kühlwein, Josef Urban

J. Autom. Reason., 2015

2014

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.

Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban

J. Autom. Reason., 2014

2013

MaSh: Machine Learning for Sledgehammer.

Daniel Kühlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

E-MaLeS 1.1.

Daniel Kühlwein, Stephan Schulz, Josef Urban

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Automated and Human Proofs in General Mathematics: An Initial Comparison.

Jesse Alama, Daniel Kühlwein, Josef Urban

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Learning from Multiple Proofs: First Experiments.

Daniel Kühlwein, Josef Urban

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.

Daniel Kühlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Learning2Reason.

Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Multi-output Ranking for Automated Reasoning.

Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes

Proceedings of the KDIR 2011, 2011

2010

Presupposition Projection and Accommodation in Mathematical Texts.

Marcos Cramer, Daniel Kühlwein, Bernhard Schröder

Proceedings of the Semantic Approaches in Natural Language Processing: Proceedings of the 10th Conference on Natural Language Processing, 2010

Premise Selection in the Naproche System.

Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts.

Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts.

Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009