Reinforcement Learning of Theorem Proving

Kaliszyk, C., Urban, J., Michalewski, H., Olšák, M.

KALISZYK, C., et al. Reinforcement Learning of Theorem Proving. In: Advances in Neural Information Processing Systems 31 (NIPS 2018). NIPS 2018, Montréal, 2018-12-03/2018-12-07. Neural Information Processing Systems Foundation, Inc., 2018. p. 8836-8847. Available from: https://papers.nips.cc/paper/8098-reinforcement-learning-of-theorem-proving

URL: https://papers.nips.cc/paper/8098-reinforcement-learning-of-theorem-proving