The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Bernhard Fisseni; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL, 2009)

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL (Pre-Proceedings), 2009)

Premise Selection in the Naproche System. - Marcos Cramer; Peter Koepke; Daniel Kühlwein; Bernhard Schröder (IJCAR, 2010)

Presupposition Projection and Accommodation in Mathematical Texts. - Marcos Cramer; Daniel Kühlwein; Bernhard Schröder (KONVENS, 2010)

Multi-output Ranking for Automated Reasoning. - Daniel Kühlwein; Josef Urban; Evgeni Tsivtsivadze; Herman Geuvers; Tom Heskes (KDIR, 2011)

Learning2Reason. - Daniel Kühlwein; Josef Urban; Evgeni Tsivtsivadze; Herman Geuvers; Tom Heskes (Calculemus/MKM, 2011)

Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. - Daniel Kühlwein; Twan van Laarhoven; Evgeni Tsivtsivadze; Josef Urban; Tom Heskes (IJCAR, 2012)

Learning from Multiple Proofs: First Experiments. - Daniel Kühlwein; Josef Urban (PAAR@IJCAR, 2012)

Automated and Human Proofs in General Mathematics: An Initial Comparison. - Jesse Alama; Daniel Kühlwein; Josef Urban (LPAR, 2012)

E-MaLeS 1.1. - Daniel Kühlwein; Stephan Schulz 001; Josef Urban (CADE, 2013)

MaSh: Machine Learning for Sledgehammer. - Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban (ITP, 2013)

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. - Jesse Alama; Tom Heskes; Daniel Kühlwein; Evgeni Tsivtsivadze; Josef Urban (J. Autom. Reason., 2014)

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers. - Daniel Kühlwein; Josef Urban (J. Autom. Reason., 2015)

A Learning-Based Fact Selector for Isabelle/HOL. - Jasmin Christian Blanchette; David Greenaway; Cezary Kaliszyk; Daniel Kühlwein; Josef Urban (J. Autom. Reason., 2016)