Search Results for author:
Found 2 papers, 0 papers with code
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
MaLeS is an automatic tuning framework for automated theorem provers.
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of proofs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
