Author:Bartosz Piotrowski

Publications
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski and Josef Urban In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning