"Guiding Theorem Proving by Recurrent Neural Networks."

Bartosz Piotrowski, Josef Urban (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics