Daniel Kühlwein

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