Learning to Find Proofs and Theorems by Learning to Refine Search Strategies