Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis - Laurent, Jonathan; Platzer, André (Advances in Neural Information Processing Systems, 2022)