Daniel Kuehlwein

Daniel Kuehlwein

Radboud University - Nijmegen / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1790689
Radboud Universiteit
person_outline Daniel Kuehlwein's MOST POPULAR ARTICLES
1-) Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.J Alama, D Kühlwein, E Tsivtsivadze, J Urban, T HeskesJournal of Automated Reasoning 52 (2), 191-213, 20141402014
2-) MaSh: machine learning for SledgehammerD Kühlwein, JC Blanchette, C Kaliszyk, J UrbanInternational Conference on Interactive Theorem Proving, 35-50, 2013972013
3-) Overview and evaluation of premise selection techniques for large theory mathematicsD Kühlwein, T van Laarhoven, E Tsivtsivadze, J Urban, T HeskesAutomated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012812012
4-) The Naproche Project: Controlled Natural Language Proof Checking of Mathematical TextsM Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J VeldmanControlled Natural Language, 170-186, 2010832010
5-) A learning-based fact selector for Isabelle/HOLJC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J UrbanJournal of Automated Reasoning 57, 219-244, 2016802016