Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. In Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pages 9330-9342, 2021. [doi]
@inproceedings{WuNWD21,
title = {TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning},
author = {Minchao Wu and Michael Norrish and Christian Walder and Amir Dezfouli},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/4dea382d82666332fb564f2e711cbc71-Abstract.html},
researchr = {https://researchr.org/publication/WuNWD21},
cites = {0},
citedby = {0},
pages = {9330-9342},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual},
editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan},
}