Daniel Kuehlwein
Daniel Kuehlwein
Capgemini
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.
J Alama, D Kühlwein, E Tsivtsivadze, J Urban, T Heskes
Journal of Automated Reasoning 52 (2), 191-213, 2014
1262014
MaSh: machine learning for Sledgehammer
D Kühlwein, JC Blanchette, C Kaliszyk, J Urban
International Conference on Interactive Theorem Proving, 35-50, 2013
942013
Overview and evaluation of premise selection techniques for large theory mathematics
D Kühlwein, T van Laarhoven, E Tsivtsivadze, J Urban, T Heskes
International Joint Conference on Automated Reasoning, 378-392, 2012
732012
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts
M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman
Controlled Natural Language, 170-186, 2010
682010
A learning-based fact selector for Isabelle/HOL
JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban
Journal of Automated Reasoning 57 (3), 219-244, 2016
662016
E-MaLeS 1.1
D Kühlwein, S Schulz, J Urban
International Conference on Automated Deduction, 407-413, 2013
292013
The Naproche System
D Kühlwein, M Cramer, P Koepke, B Schröder
Intelligent Computer Mathematics, Springer LNCS, ISBN, 978-3, 2009
27*2009
MaLeS: A framework for automatic tuning of automated theorem provers
D Kühlwein, J Urban
Journal of Automated Reasoning 55 (2), 91-116, 2015
262015
Automated and human proofs in general mathematics: An initial comparison
J Alama, D Kühlwein, J Urban
International Conference on Logic for Programming Artificial Intelligence …, 2012
232012
Learning from multiple proofs: First experiments
D Kühlwein, J Urban
PAAR, 82-94, 2012
192012
Premise selection in the Naproche system
M Cramer, P Koepke, D Kühlwein, B Schröder
International Joint Conference on Automated Reasoning, 434-440, 2010
182010
Ein Kalkül für Proof Representation Structures (A calculus for Proof Representation Structures)
D Kühlwein
8*2008
Presupposition Projection and Accommodation in Mathematical Texts.
M Cramer, D Kühlwein, B Schröder
KONVENS, 29-36, 2010
72010
A Survey of Axiom Selection as a Machine Learning Problem
D Kühlwein, JC Blanchette
Infinity, Computability and Metamathematics - Festschrift celebrating the …, 2014
5*2014
Machine Learning for Automated Reasoning
D Kühlwein
Radboud University Nijmegen, 2014
52014
Experiments with strategy learning for E prover
D Kühlwein, S Schulz, J Urban
2nd Joint International Workshop on Strategies in Rewriting, Proving and …, 2012
32012
Multi-output ranking for automated reasoning
DA Kühlwein, J Urban, E Tsivtsivadze, H Geuvers, T Heskes
sn: SciTePress, 2011
32011
Learning2Reason
D Kühlwein, J Urban, E Tsivtsivadze, H Geuvers, T Heskes
International Conference on Intelligent Computer Mathematics, 298-300, 2011
12011
A short introduction to Naproche v0. 1
D Kuehlwein
12008
A proof of concept for automated histological analysis of Onchocerciasis with deep learning (AI)
U Klarmann-Schulz, DA Kuehlwein, J Heine, JM Kuehlwein, B Dubben, ...
Gates Open Res 4, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20