@inproceedings{NEURIPS2022_1f14ac13, author = {Laurent, Jonathan and Platzer, Andr\'{e}}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {4843--4856}, publisher = {Curran Associates, Inc.}, title = {Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/1f14ac136d55c34a18a04ce3db083599-Paper-Conference.pdf}, volume = {35}, year = {2022} }