MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers.

Daniel Kühlwein Josef Urban

Published in: CoRR (2013)

Keyphrases

main contribution
theoretical framework
multi class
lightweight
real time
information retrieval
artificial intelligence
multi agent
natural language
data driven
semi automatic
key features