Reinforcement Learning of Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olsák. Reinforcement Learning of Theorem Proving. In Samy Bengio, Hanna M. Wallach, Hugo Larochelle, Kristen Grauman, Nicolò Cesa-Bianchi, Roman Garnett, editors, Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada. pages 8836-8847, 2018. [doi]

This author has not been identified. Look up 'Cezary Kaliszyk' in GoogleThis author has not been identified. Look up 'Josef Urban' in GoogleThis author has not been identified. Look up 'Henryk Michalewski' in GoogleThis author has not been identified. Look up 'Miroslav Olsák' in Google

runs on WebDSL