Daniel Kühlwein

From MaRDI portal
Person:286785

Available identifiers

zbMath Open kuhlwein.danielMaRDI QIDQ286785

List of research outcomes





PublicationDate of PublicationType
A learning-based fact selector for Isabelle/HOL2016-10-27Paper
MaLeS: a framework for automatic tuning of automated theorem provers2016-05-26Paper
Premise selection for mathematics by corpus analysis and kernel methods2015-07-02Paper
https://portal.mardi4nfdi.de/entity/Q49824462015-04-09Paper
MaSh: Machine Learning for Sledgehammer2013-08-07Paper
E-MaLeS 1.12013-06-14Paper
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics2012-09-05Paper
Automated and Human Proofs in General Mathematics: An Initial Comparison2012-06-15Paper
Learning2Reason2011-07-29Paper
Premise Selection in the Naproche System2010-09-14Paper

Research outcomes over time

This page was built for person: Daniel Kühlwein

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:286785&oldid=7030503"
Powered by MediaWiki