Daniel Kuehlwein
Daniel Kuehlwein
Capgemini
Geverifieerd e-mailadres voor cs.ru.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1042014
MaSh: machine learning for sledgehammer
D Kühlwein, JC Blanchette, C Kaliszyk, J Urban
International Conference on Interactive Theorem Proving, 35-50, 2013
862013
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
632010
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
622012
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
472016
The Naproche System
D Kühlwein, M Cramer, P Koepke, B Schröder
Intelligent Computer Mathematics, Springer LNCS, ISBN, 978-3, 2009
26*2009
E-MaLeS 1.1
D Kühlwein, S Schulz, J Urban
International Conference on Automated Deduction, 407-413, 2013
232013
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
222012
MaLeS: A framework for automatic tuning of automated theorem provers
D Kühlwein, J Urban
Journal of Automated Reasoning 55 (2), 91-116, 2015
212015
Learning from multiple proofs: First experiments
D Kühlwein, J Urban
PAAR, 82-94, 2012
172012
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
162010
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
Machine Learning for Automated Reasoning
D Kühlwein
Radboud University Nijmegen, 2014
42014
A Survey of Axiom Selection as a Machine Learning Problem
D Kühlwein, JC Blanchette
Infinity, Computability and Metamathematics - Festschrift celebrating the …, 2014
3*2014
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
from Landau in Naproche 0.5
M Carl, M Cramer, D Kühlwein
2011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20