HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

automated theorem proving, machine learning, Recurrent Neural Networks.

Copyright © 2012-2025 easychair.org. All rights reserved.