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', 'André 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', 'Shakir Mohamed', 'Alekh Agarwal', 'Danielle Belgrave', 'Kyunghyun Cho', 'Alice Oh']},
	publisher = {Curran Associates, Inc.},
	volume = {35},
	url = {http://papers.nips.cc/paper_files/paper/2022/hash/1f14ac136d55c34a18a04ce3db083599-Abstract-Conference.html}
}