Learning to find proofs and theorems by learning to refine search strategies

@INPROCEEDINGS{DBLP:conf/nips/LaurentP22,
	slides = {pub/Looprl-slides.pdf},

  author    = {Jonathan Laurent and
               Andr{\'{e}} Platzer},
  title     = {Learning to Find Proofs and Theorems by Learning to Refine Search Strategies},
  year      = {2022},
  pages     = {4843–4856},
  booktitle = {Advances in Neural Information Processing Systems},
  editor    = {Sanmi Koyejo and
               Shakir Mohamed and
               Alekh Agarwal and
               Danielle Belgrave and
               Kyunghyun Cho and
               Alice Oh},
  publisher = {Curran Associates, Inc.},
  volume    = {35},
  url       = {http://papers.nips.cc/paper\_files/paper/2022/hash/1f14ac136d55c34a18a04ce3db083599-Abstract-Conference.html},
}```