Search Results for author:
Found 1 papers, 0 papers with code
BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Inventing targeted proof search strategies for specific problem sets is a difficult task.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
