Stateful Premise Selection by Recurrent Neural Networks.

Bartosz Piotrowski, Josef Urban

Browse the full LPAR paper archive.