130 citations · 131 across the 2 of their papers we have counts for
2 papers
cs.AI2013★ 1 cited
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
Daniel Kühlwein, Josef Urban
MaLeS is an automatic tuning framework for automated theorem provers. It provides solutions for both the strategy finding as well as the strategy scheduling problem. This paper des…
cs.LG2011★ 130 cited
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Jesse Alama, Tom Heskes, Daniel Kühlwein +2
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical…