Daniel Kühlwein

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Machine Learning Systems

Top Venues

J. Autom. Reason.

Publications

Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban
A Learning-Based Fact Selector for Isabelle/HOL. J. Autom. Reason. 57 (3) (2016)
Daniel Kühlwein, Josef Urban
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers. J. Autom. Reason. 55 (2) (2015)
Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. J. Autom. Reason. 52 (2) (2014)
Daniel Kühlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban
MaSh: Machine Learning for Sledgehammer. ITP (2013)
Daniel Kühlwein, Stephan Schulz, Josef Urban
E-MaLeS 1.1. CADE (2013)
Daniel Kühlwein, Josef Urban
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers. CoRR (2013)
Daniel Kühlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. IJCAR (2012)
Jesse Alama, Daniel Kühlwein, Josef Urban
Automated and Human Proofs in General Mathematics: An Initial Comparison. LPAR (2012)
Daniel Kühlwein, Josef Urban
Learning from Multiple Proofs: First Experiments. PAAR@IJCAR (2012)
Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes
Multi-output Ranking for Automated Reasoning. KDIR (2011)
Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods CoRR (2011)
Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes
Learning2Reason. Calculemus/MKM (2011)
Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder
Premise Selection in the Naproche System. IJCAR (2010)
Marcos Cramer, Daniel Kühlwein, Bernhard Schröder
Presupposition Projection and Accommodation in Mathematical Texts. KONVENS (2010)
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. CNL (2009)
Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. CNL (Pre-Proceedings) (2009)