Search Results for author:
Found 2 papers, 1 papers with code
Dialogues for proof search
Dialogue games are a two-player semantics for a variety of logics, including intuitionistic and classical logic.
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.
