@inproceedings{NEURIPS2019_149815eb, author = {Fawzi, Alhussein and Malinowski, Mateusz and Fawzi, Hamza and Fawzi, Omar}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Wallach and H. Larochelle and A. Beygelzimer and F. d\textquotesingle Alch\'{e}-Buc and E. Fox and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {Learning dynamic polynomial proofs}, url = {https://proceedings.neurips.cc/paper_files/paper/2019/file/149815eb972b3c370dee3b89d645ae14-Paper.pdf}, volume = {32}, year = {2019} }